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:
Generated at Thu Feb 7 07:04:53 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001