ua.gradsoft.javachecker.models
Class JavaTypeArgumentBoundLocalVariableModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel

All Implemented Interfaces:

AttributedEntity, JavaLocalVariableModel, JavaVariableModel

public class JavaTypeArgumentBoundLocalVariableModel
extends java.lang.Object
implements JavaLocalVariableModel

Local variable with type substitutions.

Author:

Ruslan Shevchenko

Constructor Summary

JavaTypeArgumentBoundLocalVariableModel(JavaLocalVariableModel origin, JavaTypeArgumentBoundStatementModel statement)

Method Summary

java.util.Map<java.lang.String,JavaAnnotationInstanceModel>	getAnnotationsMap() return set of annotations for this variable.
Term	getAttribute(java.lang.String name)
AttributedEntity	getChildAttributes(java.lang.String childName)
JavaExpressionModel	getInitExpressionModel() return InitExpressionModel or null if one is empty.
JavaVariableKind	getKind() get kind of variable
Term	getModelTerm() TypeArgumentBoundLocalVariable(origin,substitution)
JavaModifiersModel	getModifiers() return modifiers
java.lang.String	getName() get name of variable.
JavaTypeModel	getOwnerType() return type which own this variable.
JavaStatementModel	getStatement()
JavaTopLevelBlockOwnerModel	getTopLevelBlockOwner() return owner of top level block, where variablke is defined (constructor or method or initializer) if one exists, otherwise return null.
JavaTypeModel	getType() get type of variable
boolean	isForHead()
void	setAttribute(java.lang.String name, Term value)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTypeArgumentBoundLocalVariableModel

public JavaTypeArgumentBoundLocalVariableModel(JavaLocalVariableModel origin,
                                               JavaTypeArgumentBoundStatementModel statement)

Method Detail

getName

public java.lang.String getName()

Description copied from interface: JavaVariableModel

get name of variable.

Specified by:

getName in interface JavaLocalVariableModel

Specified by:

getName in interface JavaVariableModel

getKind

public JavaVariableKind getKind()

Description copied from interface: JavaVariableModel

get kind of variable

Specified by:

getKind in interface JavaVariableModel

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Description copied from interface: JavaVariableModel

get type of variable

Specified by:

getType in interface JavaLocalVariableModel

Specified by:

getType in interface JavaVariableModel

Throws:

TermWareException

EntityNotFoundException

getOwnerType

public JavaTypeModel getOwnerType()

Description copied from interface: JavaVariableModel

return type which own this variable. (i. e. class where one is defined)

Specified by:

getOwnerType in interface JavaVariableModel

getTopLevelBlockOwner

public JavaTopLevelBlockOwnerModel getTopLevelBlockOwner()

Description copied from interface: JavaVariableModel

return owner of top level block, where variablke is defined (constructor or method or initializer) if one exists, otherwise return null.

Specified by:

getTopLevelBlockOwner in interface JavaVariableModel

getStatement

public JavaStatementModel getStatement()

Specified by:

getStatement in interface JavaLocalVariableModel

getInitExpressionModel

public JavaExpressionModel getInitExpressionModel()

Description copied from interface: JavaLocalVariableModel

return InitExpressionModel or null if one is empty.

Specified by:

getInitExpressionModel in interface JavaLocalVariableModel

getAnnotationsMap

public java.util.Map<java.lang.String,JavaAnnotationInstanceModel> getAnnotationsMap()
                                                                              throws TermWareException

Description copied from interface: JavaVariableModel

return set of annotations for this variable.

Specified by:

getAnnotationsMap in interface JavaVariableModel

Throws:

TermWareException

getModifiers

public JavaModifiersModel getModifiers()

Description copied from interface: JavaVariableModel

return modifiers

Specified by:

getModifiers in interface JavaVariableModel

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

TypeArgumentBoundLocalVariable(origin,substitution)

Specified by:

getModelTerm in interface JavaLocalVariableModel

Throws:

TermWareException

EntityNotFoundException

isForHead

public boolean isForHead()

Specified by:

isForHead in interface JavaLocalVariableModel

getAttribute

public Term getAttribute(java.lang.String name)
                  throws TermWareException

Specified by:

getAttribute in interface AttributedEntity

Throws:

TermWareException

setAttribute

public void setAttribute(java.lang.String name,
                         Term value)
                  throws TermWareException

Specified by:

setAttribute in interface AttributedEntity

Throws:

TermWareException

getChildAttributes

public AttributedEntity getChildAttributes(java.lang.String childName)

Specified by:

getChildAttributes in interface AttributedEntity