All Packages Class Hierarchy This Package Previous Next Index
Class simple.CommandWhile
java.lang.Object
|
+----simple.Domain
|
+----simple.SyntaxDomain
|
+----simple.Command
|
+----simple.CommandWhile
- public class CommandWhile
- extends Command
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain While-Command.
C ::= while B do K
While command is executed iterative (not recursive)
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
bexp
-
-
block
-
-
CommandWhile(BooleanExpr, Block)
-
-
execute(Environment, Store)
-
-
intendPrint(PrintStream, String)
-
-
toString()
-
bexp
BooleanExpr bexp
block
Block block
CommandWhile
public CommandWhile(BooleanExpr bexp,
Block block)
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