de.uka.ilkd.key.java.declaration

Class ImplicitFieldSpecification

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.declaration.VariableSpecification

de.uka.ilkd.key.java.declaration.FieldSpecification

de.uka.ilkd.key.java.declaration.ImplicitFieldSpecification

All Implemented Interfaces:

Field, Member, ProgramModelElement, Variable, ExpressionContainer, ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

public class ImplicitFieldSpecification
extends FieldSpecification

Field Summary

Fields inherited from class de.uka.ilkd.key.java.declaration.VariableSpecification

dimensions, initializer, type, var

Constructor Summary

Constructors

Constructor and Description
ImplicitFieldSpecification() Implicit Field specification.
ImplicitFieldSpecification(ProgramVariable var) Implicit Field specification.
ImplicitFieldSpecification(ProgramVariable var, Type type) Implicit Field specification.

Method Summary

Modifier and Type	Method and Description
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.declaration.FieldSpecification

getProgramName, isPrivate, isProtected, isPublic, isStatic, isStrictFp, isTransient, isVolatile

Methods inherited from class de.uka.ilkd.key.java.declaration.VariableSpecification

computeHashCode, equals, equalsModRenaming, getChildAt, getChildCount, getDimensions, getExpressionAt, getExpressionCount, getFirstElement, getFullName, getInitializer, getLastElement, getName, getProgramElementName, getProgramVariable, getType, hasInitializer, isFinal, match, prettyPrint

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, getArrayPos, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.abstraction.Field

getProgramVariable

Methods inherited from interface de.uka.ilkd.key.java.abstraction.Variable

getType, isFinal

Methods inherited from interface de.uka.ilkd.key.java.abstraction.Member

isFinal

Methods inherited from interface de.uka.ilkd.key.java.abstraction.ProgramModelElement

getFullName

Methods inherited from interface de.uka.ilkd.key.java.NamedModelElement

getName

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

getEndPosition, getFirstElementIncludingBlocks, getPositionInfo, getRelativePosition, getStartPosition

Constructor Detail

ImplicitFieldSpecification

public ImplicitFieldSpecification()

Implicit Field specification.

ImplicitFieldSpecification

public ImplicitFieldSpecification(ProgramVariable var)

Implicit Field specification.

Parameters:

var - the ProgramVariable representing this concrete field

ImplicitFieldSpecification

public ImplicitFieldSpecification(ProgramVariable var,
                                  Type type)

Implicit Field specification.

Parameters:

var - the ProgramVariable representing this concrete field

type - the Type of this field

Method Detail

visit

public void visit(Visitor v)

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Specified by:

visit in interface SourceElement

Overrides:

visit in class FieldSpecification

Parameters:

v - the Visitor