Package it.unive.lisa.program.cfg

Class Parameter

java.lang.Object

it.unive.lisa.program.cfg.Parameter

All Implemented Interfaces:

CodeElement

public class Parameter
extends java.lang.Object
implements CodeElement

A CFG parameter identified by its name and its type, containing the information about the source file, line and column where the parameter is defined. No information about the CFG where the parameter appears is contained.

Constructor Summary

Constructors

Constructor	Description
Parameter(CodeLocation location, java.lang.String name)	Builds an untyped parameter reference, identified by its name.
Parameter(CodeLocation location, java.lang.String name, Type staticType)	Builds the parameter reference, identified by its name and its type, happening at the given location in the program.
Parameter(CodeLocation location, java.lang.String name, Type staticType, Annotations annotations)	Builds the parameter reference, identified by its name and its type, happening at the given location in the program.

Method Summary

Modifier and Type	Method	Description
void	addAnnotation(Annotation ann)	Adds an annotations to this parameter.
boolean	equals(java.lang.Object obj)
Annotations	getAnnotations()	Yields the annotations of this parameter.
CodeLocation	getLocation()	Yields the location where this code element appears in the source file.
java.lang.String	getName()	Yields the name of this parameter.
Type	getStaticType()	Yields the static type of this parameter.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Parameter

public Parameter(CodeLocation location,
                 java.lang.String name)

Builds an untyped parameter reference, identified by its name. The type of this parameter is unknown (i.e. it is {#link Untyped#INSTANCE}).

Parameters:

location - the location of this parameter

name - the name of this parameter

Parameter

public Parameter(CodeLocation location,
                 java.lang.String name,
                 Type staticType)

Builds the parameter reference, identified by its name and its type, happening at the given location in the program.

Parameters:

location - the location where this parameter is defined within the source file. If unknown, use null

name - the name of this parameter

staticType - the type of this parameter. If unknown, use Untyped.INSTANCE

Parameter

public Parameter(CodeLocation location,
                 java.lang.String name,
                 Type staticType,
                 Annotations annotations)

Builds the parameter reference, identified by its name and its type, happening at the given location in the program.

Parameters:

location - the location where this parameter is defined within the source file.

name - the name of this parameter

staticType - the type of this parameter. If unknown, use Untyped.INSTANCE

annotations - the annotations of this parameter

Method Detail

getName

public java.lang.String getName()

Yields the name of this parameter.

Returns:

the name of this parameter

getStaticType

public Type getStaticType()

Yields the static type of this parameter.

Returns:

the static type of this parameter

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getLocation

public CodeLocation getLocation()

Description copied from interface: CodeElement

Yields the location where this code element appears in the source file.

Specified by:

getLocation in interface CodeElement

Returns:

the location where this code element apperars in the source file

getAnnotations

public Annotations getAnnotations()

Yields the annotations of this parameter.

Returns:

the annotations of this parameter

addAnnotation

public void addAnnotation(Annotation ann)

Adds an annotations to this parameter.

Parameters:

ann - the annotation to be added