Package tools.refinery.language.utils

Class BuiltinSymbols

java.lang.Object

tools.refinery.language.utils.BuiltinSymbols

public final class BuiltinSymbols
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final String	BOOLEAN_NAME
static final String	INT_NAME
static final String	REAL_NAME
static final String	STRING_NAME

Constructor Summary

Constructors

Constructor	Description
BuiltinSymbols(Problem problem)

Method Summary

Modifier and Type	Method	Description
DatatypeDeclaration	booleanDatatype()
ClassDeclaration	contained()
ClassDeclaration	container()
PredicateDefinition	contains()
PredicateDefinition	equals()
PredicateDefinition	exists()
DatatypeDeclaration	intDatatype()
PredicateDefinition	invalidContainer()
ClassDeclaration	node()
Problem	problem()
DatatypeDeclaration	realDatatype()
DatatypeDeclaration	stringDatatype()

Methods inherited from class java.lang.Object

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

Field Details

BOOLEAN_NAME

public static final String BOOLEAN_NAME

See Also:

• Constant Field Values

INT_NAME

public static final String INT_NAME

See Also:

• Constant Field Values

REAL_NAME

public static final String REAL_NAME

See Also:

• Constant Field Values

STRING_NAME

public static final String STRING_NAME

See Also:

• Constant Field Values

Constructor Details

BuiltinSymbols

public BuiltinSymbols(Problem problem)

Method Details

problem

public Problem problem()

node

public ClassDeclaration node()

equals

public PredicateDefinition equals()

exists

public PredicateDefinition exists()

container

public ClassDeclaration container()

contained

public ClassDeclaration contained()

contains

public PredicateDefinition contains()

invalidContainer

public PredicateDefinition invalidContainer()

booleanDatatype

public DatatypeDeclaration booleanDatatype()

intDatatype

public DatatypeDeclaration intDatatype()

realDatatype

public DatatypeDeclaration realDatatype()

stringDatatype

public DatatypeDeclaration stringDatatype()