gov.nasa.jpf.symbc.veritesting.ast.def

Class AssignmentStmt

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.def.AssignmentStmt

All Implemented Interfaces:

Ast, Stmt

public class AssignmentStmt
extends java.lang.Object
implements Stmt

Assignment Statement in RangerIR.

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression	lhs
za.ac.sun.cs.green.expr.Expression	rhs

Constructor Summary

Constructors

Constructor and Description
AssignmentStmt(za.ac.sun.cs.green.expr.Expression lhs, za.ac.sun.cs.green.expr.Expression rhs)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

lhs

public final za.ac.sun.cs.green.expr.Expression lhs

rhs

public final za.ac.sun.cs.green.expr.Expression rhs

Constructor Detail

AssignmentStmt

public AssignmentStmt(za.ac.sun.cs.green.expr.Expression lhs,
                      za.ac.sun.cs.green.expr.Expression rhs)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in interface Stmt

Overrides:

toString in class java.lang.Object

equals

public boolean equals(Stmt stmt2)

Specified by:

equals in interface Stmt

accept

public <T> T accept(AstVisitor<T> visitor)

Specified by:

accept in interface Ast

Specified by:

accept in interface Stmt