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

Class CompositionStmt

java.lang.Object

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

All Implemented Interfaces:

Ast, Stmt

public class CompositionStmt
extends java.lang.Object
implements Stmt

RangerIR composition statement.

Field Summary

Fields

Modifier and Type	Field and Description
Stmt	s1
Stmt	s2

Constructor Summary

Constructors

Constructor and Description
CompositionStmt(Stmt s1, Stmt s2)

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

s1

public final Stmt s1

s2

public final Stmt s2

Constructor Detail

CompositionStmt

public CompositionStmt(Stmt s1,
                       Stmt s2)

Method Detail

accept

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

Specified by:

accept in interface Ast

Specified by:

accept in interface Stmt

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