Main Page
Packages
Class Hierarchy
Alphabetical List
Compound List
File List
Compound Members
AssignAction Class Reference
Inheritance diagram for AssignAction:
[
legend
]
Collaboration diagram for AssignAction:
[
legend
]
List of all members.
Public Methods
AssignAction
(
Expr
lhs,
Expr
rhs)
void
apply
(Switch sw)
Expr
getLhs
()
Expr
getRhs
()
boolean
isAssignAction
()
Private Attributes
Expr
rhs
Expr
lhs
Detailed Description
An assignment to a state variable.
Definition at line
41
of file
AssignAction.java
.
The documentation for this class was generated from the following file:
AssignAction.java
Generated at Thu Feb 7 07:04:53 2002 for Bandera by
1.2.10 written by
Dimitri van Heesch
, © 1997-2001