Package de.fraunhofer.aisec.cpg.graph

Class DeclaredReferenceExpression

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.Statement

de.fraunhofer.aisec.cpg.graph.Expression

de.fraunhofer.aisec.cpg.graph.DeclaredReferenceExpression

All Implemented Interfaces:

HasType, HasType.TypeListener

Direct Known Subclasses:

StaticReferenceExpression

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.Expression

type

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

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

Constructor Summary

Constructors

Constructor	Description
DeclaredReferenceExpression()

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
java.util.Set<ValueDeclaration>	getRefersTo()
int	hashCode()
boolean	isWritingAccess()
void	possibleSubTypesChanged(HasType src, HasType root, java.util.Set<Type> oldSubTypes)
void	setRefersTo(@NonNull java.util.Set<ValueDeclaration> refersTo)
void	setWritingAccess(boolean writingAccess)
java.lang.String	toString()
void	typeChanged(HasType src, HasType root, Type oldType)

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

getPossibleSubTypes, getType, getTypeListeners, refreshType, registerTypeListener, resetTypes, setPossibleSubTypes, setType, unregisterTypeListener

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

getLocals, setLocals

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

addNextDFG, addPrevDFG, disconnectFromGraph, getArgumentIndex, getCode, getFile, getId, getLocation, getName, getNextCFG, getNextDFG, getNextEOG, getPrevDFG, getPrevEOG, isDummy, isImplicit, removeNextDFG, removePrevDFG, setArgumentIndex, setCode, setComment, setDummy, setFile, setImplicit, setLocation, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG

Methods inherited from class java.lang.Object

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

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

setPossibleSubTypes, setType

Constructor Detail

DeclaredReferenceExpression

public DeclaredReferenceExpression()

Method Detail

getRefersTo

public java.util.Set<ValueDeclaration> getRefersTo()

setRefersTo

public void setRefersTo(@NonNull java.util.Set<ValueDeclaration> 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

setWritingAccess

public void setWritingAccess(boolean writingAccess)

isWritingAccess

public boolean isWritingAccess()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Expression

hashCode

public int hashCode()

Overrides:

hashCode in class Expression