org.clafer.ast

Class AstDecl

java.lang.Object

org.clafer.ast.AstDecl

public class AstDecl
extends Object

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
AstDecl(boolean disjoint, AstLocal[] locals, AstSetExpr body)

Method Summary

Methods

Modifier and Type	Method and Description
AstSetExpr	getBody()
AstLocal[]	getLocals()
boolean	isDisjoint()
String	toString()
AstDecl	withBody(AstSetExpr body)

Methods inherited from class java.lang.Object

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

Constructor Detail

AstDecl

public AstDecl(boolean disjoint,
       AstLocal[] locals,
       AstSetExpr body)

Method Detail

isDisjoint

public boolean isDisjoint()

getLocals

public AstLocal[] getLocals()

getBody

public AstSetExpr getBody()

withBody

public AstDecl withBody(AstSetExpr body)

toString

public String toString()

Overrides:

toString in class Object