ua.gradsoft.javachecker.models.expressions
Class JavaTermIntegerLiteralExpressionModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTermExpressionModel
      ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel

All Implemented Interfaces:

JavaObjectConstantExpressionModel, JavaExpressionModel, JavaLiteralModel

public class JavaTermIntegerLiteralExpressionModel
extends JavaTermExpressionModel
implements JavaLiteralModel, JavaObjectConstantExpressionModel

IntegerLiteral

Author:

Ruslan Shevchenko

Field Summary

Fields inherited from class ua.gradsoft.javachecker.models.JavaTermExpressionModel

enclosedType_, statement_, t_

Constructor Summary

JavaTermIntegerLiteralExpressionModel(int c, JavaTermStatementModel st, JavaTypeModel enclosedType)

JavaTermIntegerLiteralExpressionModel(long c, JavaTermStatementModel st, JavaTypeModel enclosedType)

JavaTermIntegerLiteralExpressionModel(Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)

Method Summary

java.lang.Object	getConstant()
JavaExpressionKind	getKind()
Term	getModelTerm() IntegerLiteral(Long|Int)
java.lang.String	getString()
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
static JavaTermIntegerLiteralExpressionModel	getZero()
static JavaTermIntegerLiteralExpressionModel	getZeroL()
boolean	isConstantExpression()
boolean	isType() return true, if expression represents type.

Methods inherited from class ua.gradsoft.javachecker.models.JavaTermExpressionModel

create, create, createPlaceContext, getEnclosedType, getStatementModel, getTerm, getTermStatementModel

Methods inherited from class java.lang.Object

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

Methods inherited from interface ua.gradsoft.javachecker.models.JavaExpressionModel

getEnclosedType, getStatementModel, getTerm

Constructor Detail

JavaTermIntegerLiteralExpressionModel

public JavaTermIntegerLiteralExpressionModel(int c,
                                             JavaTermStatementModel st,
                                             JavaTypeModel enclosedType)
                                      throws TermWareException

Throws:

TermWareException

JavaTermIntegerLiteralExpressionModel

public JavaTermIntegerLiteralExpressionModel(long c,
                                             JavaTermStatementModel st,
                                             JavaTypeModel enclosedType)
                                      throws TermWareException

Throws:

TermWareException

JavaTermIntegerLiteralExpressionModel

public JavaTermIntegerLiteralExpressionModel(Term t,
                                             JavaTermStatementModel st,
                                             JavaTypeModel enclosedType)
                                      throws TermWareException

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

Specified by:

getKind in interface JavaExpressionModel

getConstant

public java.lang.Object getConstant()
                             throws TermWareException

Specified by:

getConstant in interface JavaObjectConstantExpressionModel

Returns:

value of expression as Java object constant.

Throws:

TermWareException

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Specified by:

getType in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

Specified by:

isType in interface JavaExpressionModel

getSubExpressions

public java.util.List<JavaExpressionModel> getSubExpressions()

Specified by:

getSubExpressions in interface JavaExpressionModel

isConstantExpression

public boolean isConstantExpression()

Specified by:

isConstantExpression in interface JavaExpressionModel

getModelTerm

public Term getModelTerm()

IntegerLiteral(Long|Int)

Specified by:

getModelTerm in interface JavaExpressionModel

Returns:

model term

getString

public java.lang.String getString()

Specified by:

getString in interface JavaLiteralModel

getZero

public static JavaTermIntegerLiteralExpressionModel getZero()

getZeroL

public static JavaTermIntegerLiteralExpressionModel getZeroL()