All Packages Class Hierarchy This Package Previous Next Index
Class simple.BlockCommand
java.lang.Object
|
+----simple.Domain
|
+----simple.SyntaxDomain
|
+----simple.Block
|
+----simple.BlockCommand
- public class BlockCommand
- extends Block
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents syntax domain Command-Block.
K ::= begin C end
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
cmd
-
-
BlockCommand(Command)
-
-
execute(Environment, Store)
-
-
intendPrint(PrintStream, String)
-
-
toString()
-
cmd
Command cmd
BlockCommand
public BlockCommand(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