ua.gradsoft.javachecker.models
Class JavaTermFormalParameterModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaFormalParameterModel
      ua.gradsoft.javachecker.models.JavaTermFormalParameterModel

All Implemented Interfaces:

AttributedEntity, JavaVariableModel

public class JavaTermFormalParameterModel
extends JavaFormalParameterModel

Model for Java Formal Parameter

Author:

Ruslan Shevchenko

Constructor Summary

JavaTermFormalParameterModel(Term modifiers, java.lang.String name, JavaTypeModel typeModel, JavaTopLevelBlockOwnerModel owner, int index)

Method Summary

java.util.Map<java.lang.String,JavaAnnotationInstanceModel>	getAnnotationsMap() return set of annotations for this variable.
Term	getAttribute(java.lang.String name)
int	getIndex()
JavaVariableKind	getKind() get kind of variable
JavaTermModifiersModel	getModifiers() return modifiers
java.lang.String	getName() get name of variable.
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
void	setAttribute(java.lang.String name, Term value)

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

getChildAttributes, getModelTerm, getOwnerType

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTermFormalParameterModel

public JavaTermFormalParameterModel(Term modifiers,
                                    java.lang.String name,
                                    JavaTypeModel typeModel,
                                    JavaTopLevelBlockOwnerModel owner,
                                    int index)
                             throws TermWareException

Throws:

TermWareException

Method Detail

getModifiers

public JavaTermModifiersModel getModifiers()

Description copied from interface: JavaVariableModel

return modifiers

Specified by:

getModifiers in interface JavaVariableModel

Specified by:

getModifiers in class JavaFormalParameterModel

getName

public java.lang.String getName()

Description copied from interface: JavaVariableModel

get name of variable.

Specified by:

getName in interface JavaVariableModel

Specified by:

getName in class JavaFormalParameterModel

getKind

public JavaVariableKind getKind()

Description copied from interface: JavaVariableModel

get kind of variable

Specified by:

getKind in interface JavaVariableModel

Overrides:

getKind in class JavaFormalParameterModel

getType

public JavaTypeModel getType()

Description copied from interface: JavaVariableModel

get type of variable

Specified by:

getType in interface JavaVariableModel

Specified by:

getType in class JavaFormalParameterModel

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

Specified by:

getTopLevelBlockOwner in class JavaFormalParameterModel

getAnnotationsMap

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

Description copied from interface: JavaVariableModel

return set of annotations for this variable.

Specified by:

getAnnotationsMap in interface JavaVariableModel

Specified by:

getAnnotationsMap in class JavaFormalParameterModel

getAttribute

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

Specified by:

getAttribute in interface AttributedEntity

Overrides:

getAttribute in class JavaFormalParameterModel

Throws:

TermWareException

setAttribute

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

Specified by:

setAttribute in interface AttributedEntity

Overrides:

setAttribute in class JavaFormalParameterModel

Throws:

TermWareException

getIndex

public int getIndex()

Specified by:

getIndex in class JavaFormalParameterModel

Returns:

index of this formal parameters in call, started from 0