All Packages Class Hierarchy This Package Previous Next Index
Class simple.CommandIfElse
java.lang.Object
|
+----simple.Domain
|
+----simple.SyntaxDomain
|
+----simple.Command
|
+----simple.CommandIfElse
- public class CommandIfElse
- extends Command
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents syntax domain IfElse-Command.
C ::= if B then K1 else K2
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
bexp
-
-
blockElse
-
-
blockThen
-
-
CommandIfElse(BooleanExpr, Block, Block)
-
-
execute(Environment, Store)
-
-
intendPrint(PrintStream, String)
-
-
toString()
-
bexp
BooleanExpr bexp
blockThen
Block blockThen
blockElse
Block blockElse
CommandIfElse
public CommandIfElse(BooleanExpr bexp,
Block blockThen,
Block blockElse)
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 Command
All Packages Class Hierarchy This Package Previous Next Index