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

Class SkipStmt

java.lang.Object

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

All Implemented Interfaces:

Ast, Stmt

public class SkipStmt
extends java.lang.Object
implements Stmt

A Skip statement in RangerIR.

Field Summary

Fields

Modifier and Type	Field and Description
static SkipStmt	skip

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SkipStmt()

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

skip

public static SkipStmt skip

Constructor Detail

SkipStmt

private SkipStmt()

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