ua.gradsoft.javachecker.models
Class JavaFormalParameterModel

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

All Implemented Interfaces:

AttributedEntity, JavaVariableModel

Direct Known Subclasses:

JavaClassFormalParameterModel, JavaTermFormalParameterModel, JavaTypeSubstitutedFormalParameterModel

public abstract class JavaFormalParameterModel
extends java.lang.Object
implements JavaVariableModel

Model for formal parameter

Author:

rssh

Constructor Summary

JavaFormalParameterModel()

Method Summary

abstract 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)
abstract int	getIndex()
JavaVariableKind	getKind() get kind of variable
Term	getModelTerm() FormalParameterModel(Modifiers,TypeRef(),Identifier,ctx)
abstract JavaModifiersModel	getModifiers() return modifiers
abstract java.lang.String	getName() get name of variable.
JavaTypeModel	getOwnerType() return type which own this variable.
abstract JavaTopLevelBlockOwnerModel	getTopLevelBlockOwner() return owner of top level block, where variablke is defined (constructor or method or initializer) if one exists, otherwise return null.
abstract JavaTypeModel	getType() get type of variable
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

JavaFormalParameterModel

public JavaFormalParameterModel()

Method Detail

getModifiers

public abstract JavaModifiersModel getModifiers()

Description copied from interface: JavaVariableModel

return modifiers

Specified by:

getModifiers in interface JavaVariableModel

getName

public abstract java.lang.String getName()

Description copied from interface: JavaVariableModel

get name of variable.

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

Description copied from interface: JavaVariableModel

get type of variable

Specified by:

getType in interface JavaVariableModel

Throws:

TermWareException

EntityNotFoundException

getTopLevelBlockOwner

public abstract 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

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

getAnnotationsMap

public abstract 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

getIndex

public abstract int getIndex()

Returns:

index of this formal parameters in call, started from 0

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

FormalParameterModel(Modifiers,TypeRef(),Identifier,ctx)

Throws:

TermWareException

EntityNotFoundException

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