Re: Jolt, statics?

Hi again,

sorry for sending two mails... there is another, related, question. Is  
it possible to have, again in Jolt, some notion of "here", i.e., could  
I somehow do something like this:

(set here@ 100)

where here@ compiles down to the precise place in memory where the  
corresponding instruction is placed? (Sorry for asking so confusely, I  
don't know how to put it better...)

The above code would write to memory in a place very close to the code  
corresponding to the set "statement".

Best,

Michael

Am 01.04.2008 um 15:59 schrieb Michael Haupt:
> Dear all,
>
> is it somehow possible to have, in Jolt, the equivalent of the  
> following C code?
>
> void f() {
>  static int x = 0;
>  ...
>  x++;
>  ...
> }
>
> Best,
>
> Michael
>
> -- 
> Dr.-Ing. Michael Haupt                michael.haupt@...
> Software Architecture Group           Phone:  ++49 (0) 331-5509-542
> Hasso Plattner Institute for          Fax:    ++49 (0) 331-5509-229
> Software Systems Engineering          http://www.swa.hpi.uni-potsdam.de/
> Prof.-Dr.-Helmert-Str. 2-3, D-14482 Potsdam, Germany
>
> Hasso-Plattner-Institut für Softwaresystemtechnik GmbH, Potsdam
> Amtsgericht Potsdam, HRB 12184
> Geschäftsführung: Prof. Dr. Christoph Meinel
>
>
>
>
>
> _______________________________________________
> fonc mailing list
> fonc@...
> http://vpri.org/mailman/listinfo/fonc

--

-- 
Dr.-Ing. Michael Haupt                michael.haupt@...
Software Architecture Group           Phone:  ++49 (0) 331-5509-542
Hasso Plattner Institute for          Fax:    ++49 (0) 331-5509-229
Software Systems Engineering          http://www.swa.hpi.uni-potsdam.de/
Prof.-Dr.-Helmert-Str. 2-3, D-14482 Potsdam, Germany

Hasso-Plattner-Institut für Softwaresystemtechnik GmbH, Potsdam
Amtsgericht Potsdam, HRB 12184
Geschäftsführung: Prof. Dr. Christoph Meinel