ua.gradsoft.javachecker.models.expressions
Class JavaTermAdditiveExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermAdditiveExpressionModel
extends JavaTermExpressionModel

AdditiveExpression

Author:

Ruslan Shevchenko

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermAdditiveExpressionModel(Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)

Method Summary

JavaExpressionModel	eval(JavaTraceContext trace)
JavaAdditiveOperatorKind	getAdditiveOperatorKind()
JavaExpressionKind	getKind()
Term	getModelTerm() AdditiveExpressionModel(x,y,op,ctx);
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
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

Constructor Detail

JavaTermAdditiveExpressionModel

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

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

getAdditiveOperatorKind

public JavaAdditiveOperatorKind getAdditiveOperatorKind()

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

getSubExpressions

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

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

AdditiveExpressionModel(x,y,op,ctx);

Returns:

model term

Throws:

TermWareException

EntityNotFoundException

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

eval

public JavaExpressionModel eval(JavaTraceContext trace)
                         throws TermWareException

Throws:

TermWareException