Package de.fraunhofer.aisec.cpg.graph.statements.expressions

Class DeclaredReferenceExpression

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.statements.Statement

de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression

de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression

All Implemented Interfaces:

DeclarationHolder, HasType, HasType.TypeListener, Persistable, IVisitable<Node>

Direct Known Subclasses:

MemberExpression

public class DeclaredReferenceExpression
extends Expression
implements HasType.TypeListener

An expression, which refers to something which is declared, e.g. a variable. For example, the expression a = b, which itself is a BinaryOperator, contains two DeclaredReferenceExpressions, one for the variable a and one for variable b , which have been previously been declared.

Nested Class Summary

Nested classes/interfaces inherited from interface de.fraunhofer.aisec.cpg.graph.HasType

HasType.TypeListener

Field Summary

Fields inherited from class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression

type

Fields inherited from class de.fraunhofer.aisec.cpg.graph.statements.Statement

locals

Fields inherited from class de.fraunhofer.aisec.cpg.graph.Node

annotations, code, comment, dummy, EMPTY_NAME, file, implicit, location, log, name, nextCFG, nextDFG, nextEOG, prevDFG, prevEOG, TO_STRING_STYLE, typedefs

Constructor Summary

Constructors

Constructor	Description
DeclaredReferenceExpression()

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
AccessValues	getAccess()
@Nullable Declaration	getRefersTo()
<T extends VariableDeclaration> @Nullable T	getRefersToAs(java.lang.Class<T> clazz)	Returns the contents of refersTo as the specified class, if the class is assignable.
int	hashCode()
boolean	isStaticAccess()
void	possibleSubTypesChanged(HasType src, HasType root, java.util.Set<Type> oldSubTypes)
void	setAccess(AccessValues access)
void	setRefersTo(@Nullable Declaration refersTo)
void	setStaticAccess(boolean staticAccess)
java.lang.String	toString()
void	typeChanged(HasType src, HasType root, Type oldType)

Methods inherited from class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression

getPossibleSubTypes, getPropagationType, getType, getTypeListeners, refreshType, registerTypeListener, resetTypes, setPossibleSubTypes, setType, unregisterTypeListener, updatePossibleSubtypes, updateType

Methods inherited from class de.fraunhofer.aisec.cpg.graph.statements.Statement

addDeclaration, getLocals, getLocalsPropertyEdge, removeLocal, setLocals

Methods inherited from class de.fraunhofer.aisec.cpg.graph.Node

addAnnotations, addNextCFG, addNextCFG, addNextDFG, addNextEOG, addPrevDFG, addPrevEOG, addTypedef, clearNextEOG, disconnectFromGraph, getAnnotations, getArgumentIndex, getCode, getFile, getId, getLocation, getName, getNextCFG, getNextDFG, getNextEOG, getNextEOGProperties, getNextEOGPropertyEdge, getPrevDFG, getPrevEOG, getPrevEOGProperties, getTypedefs, isDummy, isImplicit, removeNextDFG, removePrevDFG, removePrevEOGEntries, removePrevEOGEntry, setArgumentIndex, setCode, setComment, setDummy, setFile, setImplicit, setLocation, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG, setPrevEOGProperties, setTypedefs

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder

addIfNotContains, addIfNotContains, addIfNotContains

Methods inherited from interface de.fraunhofer.aisec.cpg.graph.HasType

setPossibleSubTypes, setType

Methods inherited from interface de.fraunhofer.aisec.cpg.processing.IVisitable

accept

Constructor Detail

DeclaredReferenceExpression

public DeclaredReferenceExpression()

Method Detail

isStaticAccess

public boolean isStaticAccess()

setStaticAccess

public void setStaticAccess(boolean staticAccess)

getRefersTo

public @Nullable Declaration getRefersTo()

getRefersToAs

public <T extends VariableDeclaration> @Nullable T getRefersToAs(java.lang.Class<T> clazz)

Returns the contents of refersTo as the specified class, if the class is assignable. Otherwise, it will return null.

Type Parameters:

T - the type

Parameters:

clazz - the expected class

Returns:

the declaration cast to the expected class, or null if the class is not assignable

getAccess

public AccessValues getAccess()

setRefersTo

public void setRefersTo(@Nullable Declaration refersTo)

typeChanged

public void typeChanged(HasType src,
                        HasType root,
                        Type oldType)

Specified by:

typeChanged in interface HasType.TypeListener

possibleSubTypesChanged

public void possibleSubTypesChanged(HasType src,
                                    HasType root,
                                    java.util.Set<Type> oldSubTypes)

Specified by:

possibleSubTypesChanged in interface HasType.TypeListener

toString

public java.lang.String toString()

Overrides:

toString in class Expression

setAccess

public void setAccess(AccessValues access)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Expression

hashCode

public int hashCode()

Overrides:

hashCode in class Expression