de.uka.ilkd.key.java.declaration

Class FieldSpecification

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

All Implemented Interfaces:

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

Direct Known Subclasses:

ImplicitFieldSpecification

public class FieldSpecification
extends VariableSpecification
implements Field

Field Summary

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

dimensions, initializer, type, var

Constructor Summary

Constructors

Constructor and Description
FieldSpecification() Field specification.
FieldSpecification(ExtList children, ProgramVariable var, int dimensions, Type type) Field specification.
FieldSpecification(ProgramVariable var)
FieldSpecification(ProgramVariable var, Expression init, Type type) Field specification.
FieldSpecification(ProgramVariable var, int dimensions, Expression init, Type type) Field specification.
FieldSpecification(ProgramVariable var, Type type) Field specification.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getProgramName() returns the name of the field as used in programs.
boolean	isPrivate() Test whether the declaration is private.
boolean	isProtected() Test whether the declaration is protected.TO BE IMPLEMENTED
boolean	isPublic() Test whether the declaration is public.TO BE IMPLEMENTED
boolean	isStatic() Test whether the declaration is static.
boolean	isStrictFp() Test whether the declaration is strictFp.TO BE IMPLEMENTED
boolean	isTransient() Test whether the declaration is transient.TO BE IMPLEMENTED
boolean	isVolatile() Test whether the declaration is volatile.TO BE IMPLEMENTED
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.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

FieldSpecification

public FieldSpecification()

Field specification.

FieldSpecification

public FieldSpecification(ProgramVariable var)

FieldSpecification

public FieldSpecification(ProgramVariable var,
                          Type type)

Field specification.

Parameters:

var - the ProgramVariable representing this concrete field

type - the Type of this field

FieldSpecification

public FieldSpecification(ProgramVariable var,
                          Expression init,
                          Type type)

Field specification.

Parameters:

var - the ProgramVariable representing this concrete field

init - the Expression the field is initialised with.

type - the Type of this field

FieldSpecification

public FieldSpecification(ProgramVariable var,
                          int dimensions,
                          Expression init,
                          Type type)

Field specification.

Parameters:

var - the ProgramVariable representing this concrete field

dimensions - an int defining the dimension

init - the Expression the field is initialised with.

type - the Type of this field

FieldSpecification

public FieldSpecification(ExtList children,
                          ProgramVariable var,
                          int dimensions,
                          Type type)

Field specification.

Parameters:

children - an ExtList with the children. May contain: an Expression (as initializer of the variable) a ProgramElementName (as name of the variable) a Comment

var - the ProgramVariable representing this concrete field

dimensions - an int defining the dimension

type - the Type of this field

Method Detail

getProgramName

public java.lang.String getProgramName()

returns the name of the field as used in programs. In the logic each field has a unique name which is composed by the class name where it is declared and its source code name

Specified by:

getProgramName in interface Field

Returns:

returns the name of the field as used in programs

isStatic

public boolean isStatic()

Test whether the declaration is static.

Specified by:

isStatic in interface Member

Returns:

true if this member is static, false otherwise.

isPrivate

public boolean isPrivate()

Test whether the declaration is private.

Specified by:

isPrivate in interface Member

Returns:

true if this member is private, false otherwise.

isProtected

public boolean isProtected()

Test whether the declaration is protected.TO BE IMPLEMENTED

Specified by:

isProtected in interface Member

Returns:

true if this member is protected, false otherwise.

isPublic

public boolean isPublic()

Test whether the declaration is public.TO BE IMPLEMENTED

Specified by:

isPublic in interface Member

Returns:

true if this member is public, false otherwise.

isTransient

public boolean isTransient()

Test whether the declaration is transient.TO BE IMPLEMENTED

isVolatile

public boolean isVolatile()

Test whether the declaration is volatile.TO BE IMPLEMENTED

isStrictFp

public boolean isStrictFp()

Test whether the declaration is strictFp.TO BE IMPLEMENTED

Specified by:

isStrictFp in interface Member

Returns:

true if this member is strictfp, false otherwise.

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 VariableSpecification

Parameters:

v - the Visitor