module JAVA-CORE

/*@ \section{Configuration}

The configuration is almost identical to that of untyped SIMPLE,

except for a \textsf{return} cell inside the \textsf{control} cell.

This \textsf{return} cell will hold, like in the static semantics of

typed SIMPLE, the expected type of the value returned by the function

being executed. The contents of this cell will be set whenever a

function is invoked and will be checked whenever the evaluation of the

function body encounters an explicit \texttt{return} statement. */

configuration <T color="red">

<threads color="orange">

<thread multiplicity="*" color="yellow">

<k color="green"> $PGM:K </k>

<env color="violet"> .Map </env>

<holds color="black"> .Map </holds>

<br/>

<control color="cyan">

<stack color="blue"> .List </stack>

//todo this cell contained originally .K

//why it worked?

<return color="LimeGreen"> void </return>

// holds return type

<br/>

<crntObj color="Fuchsia">

<crntClass> .K </crntClass>

<envStack> .List </envStack>

<location multiplicity="?"> .K </location>

</crntObj>

</control>

</thread>

</threads>

<br/>

<store color="white"> .Map </store>

<busy color="cyan">.Set</busy>

<in color="magenta" stream="stdin"> .List </in>

<out color="brown" stream="stdout"> .List </out>

<dissolveEmptyK> true </dissolveEmptyK>

<nextLoc color="gray"> 0 </nextLoc>

<br/>

<classes color="Fuchsia">

<class multiplicity="*" color="Fuchsia">

<className color="Fuchsia"> .K </className>

<extends color="Fuchsia"> .K </extends>

<declarations color="purple"> .K </declarations>

<metatype color="Fuchsia"> "concrete class" </metatype>

</class>

</classes>

<mainClass> .K </mainClass>

</T>

//@ \section{Identifiers}

rule 'Id(Str:String) => String2Id(Str) [anywhere]

rule 'Int(_) => int [structural]

rule 'Long(_) => long [structural]

rule 'Boolean(_) => bool [structural]

rule 'Void(_) => void [structural]