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

Class ArraySubscriptionExpression

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

All Implemented Interfaces:

DeclarationHolder, de.fraunhofer.aisec.cpg.graph.HasBase, HasType, HasType.TypeListener, Persistable, IVisitable<de.fraunhofer.aisec.cpg.graph.Node>

public class ArraySubscriptionExpression
extends Expression
implements HasType.TypeListener, de.fraunhofer.aisec.cpg.graph.HasBase

Represents the Subscription or access of an array of the form array[index], where both array and index are of type Expression. CPP can overload operators thus changing semantics of array access.

Nested Class Summary

Nested classes/interfaces inherited from class de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.Node.Companion

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

HasType.SecondaryTypeEdge, 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

Companion, EMPTY_NAME, TO_STRING_STYLE

Constructor Summary

Constructors

Constructor	Description
ArraySubscriptionExpression()

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
Expression	getArrayExpression()
Expression	getBase()
Expression	getSubscriptExpression()
int	hashCode()
void	possibleSubTypesChanged(HasType src, HasType root, java.util.Set<Type> oldSubTypes)
void	setArrayExpression(Expression arrayExpression)
void	setSubscriptExpression(Expression subscriptExpression)
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, toString, unregisterTypeListener, updatePossibleSubtypes, updateType

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

addDeclaration, getDeclarations, getLocals, getLocalsPropertyEdge, removeLocal, setLocals

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

addAnnotations, addNextDFG, addNextEOG, addPrevDFG, addPrevEOG, addTypedef, clearNextEOG, disconnectFromGraph, getAnnotations, getArgumentIndex, getAstChildren, getCode, getComment, getFile, getId, getLocation, getName, getNextDFG, getNextEOG, getNextEOGEdges, getPrevDFG, getPrevEOG, getPrevEOGEdges, getTypedefs, isImplicit, isInferred, removeNextDFG, removePrevDFG, removePrevEOGEntry, setAnnotations, setArgumentIndex, setCode, setComment, setFile, setId, setImplicit, setInferred, setLocation, setName, setNextDFG, setNextEOG, setNextEOGEdges, setPrevDFG, setPrevEOG, setPrevEOGEdges, 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 Details

ArraySubscriptionExpression

public ArraySubscriptionExpression()

Method Details

getArrayExpression

public Expression getArrayExpression()

setArrayExpression

public void setArrayExpression(Expression arrayExpression)

getSubscriptExpression

public Expression getSubscriptExpression()

setSubscriptExpression

public void setSubscriptExpression(Expression subscriptExpression)

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

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Expression

hashCode

public int hashCode()

Overrides:

hashCode in class Expression

getBase

@NotNull
public Expression getBase()

Specified by:

getBase in interface de.fraunhofer.aisec.cpg.graph.HasBase