ua.gradsoft.javachecker.models.expressions
Class JavaTermSwitchConstantExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermSwitchConstantExpressionModel
extends JavaTermExpressionModel

Model for constant expression in switch

Author:

RSSH

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermSwitchConstantExpressionModel(JavaExpressionModel switchExpr, Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)

Method Summary

JavaExpressionKind	getKind()
Term	getModelTerm() CaseConstantModel(SwitchLabel(labelModel), labelIdentifier|expr|default, @type, ctx)
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
boolean	isConstantExpression()
boolean	isDefault()
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

JavaTermSwitchConstantExpressionModel

public JavaTermSwitchConstantExpressionModel(JavaExpressionModel switchExpr,
                                             Term t,
                                             JavaTermStatementModel st,
                                             JavaTypeModel enclosedType)
                                      throws TermWareException

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

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()
                                                      throws TermWareException,
                                                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

isConstantExpression

public boolean isConstantExpression()

isDefault

public boolean isDefault()

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

CaseConstantModel(SwitchLabel(labelModel), labelIdentifier|expr|default, @type, ctx)

Returns:

model term

Throws:

TermWareException

EntityNotFoundException