require "kpython-syntax.k"

module KPYTHON-CONFIGURATION

imports KPYTHON-SYNTAX

imports DOMAINS

configuration <T color="red">

<k color="green"> execute ~> $PGM:Stmts </k>

<control color="cyan">

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

<xstack color="purple"> .List </xstack>

<crntObj color="Fuchsia"> // KOOL

<crntClass> Object </crntClass>

<envStack> .List </envStack>

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

</crntObj>

</control>

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

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

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

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

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

<classes color="Fuchsia"> // KOOL

<classData multiplicity="*" type="Map" color="Fuchsia">

<className color="Fuchsia"> Main </className>

<baseClass color="Fuchsia"> Object </baseClass>

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

</classData>

</classes>

<storeClass color="orange"> .Map </storeClass>

<classStaticVars color="violet">

<classStaticData multiplicity="*" type="Map" color="Fuchsia">

<classStaticName color="Fuchsia"> Main </classStaticName>

<classStaticDeclaration color="Fuchsia"> .Map </classStaticDeclaration>

</classStaticData>

</classStaticVars>

</T>

syntax Stmt ::= "execute"

endmodule