All Packages Class Hierarchy This Package Previous Next Index
Class simple.BlockDeclaration
java.lang.Object
|
+----simple.Domain
|
+----simple.SyntaxDomain
|
+----simple.Block
|
+----simple.BlockDeclaration
- public class BlockDeclaration
- extends Block
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents syntax domain Declaration-Block.
K ::= decl D begin C end
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
cmd
-
-
decl
-
-
BlockDeclaration(Declaration, Command)
-
-
execute(Environment, Store)
-
-
intendPrint(PrintStream, String)
-
-
toString()
-
decl
Declaration decl
cmd
Command cmd
BlockDeclaration
public BlockDeclaration(Declaration decl,
Command cmd)
toString
public String toString()
- Overrides:
- toString in class Object
intendPrint
public void intendPrint(PrintStream out,
String intend)
- Overrides:
- intendPrint in class SyntaxDomain
execute
Poststore execute(Environment e,
Store s)
- Overrides:
- execute in class Block
All Packages Class Hierarchy This Package Previous Next Index