krieger.oclsolve
Class ExpressionFactory

java.lang.Object
  krieger.oclsolve.ExpressionFactory

public class ExpressionFactory
extends java.lang.Object

A factory for OCL expressions.

Field Summary

static BagExpression	EMPTYBAG
static SequenceExpression	EMPTYSEQUENCE
static SetExpression	EMPTYSET
static BooleanExpression	FALSE
static OclInvalidExpression	INVALID
static OclVoidExpression	NULL
static BooleanExpression	TRUE

Method Summary

static IntegerExpression	getIntegerConstant(java.math.BigInteger c)
static IntegerExpression	getIntegerConstant(long c)
static SequenceExpression	getIntegerRange(IntegerExpression from, IntegerExpression to)
static StringExpression	getStringConstant(java.lang.String str)

Methods inherited from class java.lang.Object

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

Field Detail

NULL

public static final OclVoidExpression NULL

INVALID

public static final OclInvalidExpression INVALID

TRUE

public static final BooleanExpression TRUE

FALSE

public static final BooleanExpression FALSE

EMPTYSEQUENCE

public static final SequenceExpression EMPTYSEQUENCE

EMPTYSET

public static final SetExpression EMPTYSET

EMPTYBAG

public static final BagExpression EMPTYBAG

Method Detail

getIntegerConstant

public static IntegerExpression getIntegerConstant(java.math.BigInteger c)

getIntegerConstant

public static IntegerExpression getIntegerConstant(long c)

getStringConstant

public static StringExpression getStringConstant(java.lang.String str)

getIntegerRange

public static SequenceExpression getIntegerRange(IntegerExpression from,
                                                 IntegerExpression to)