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

Class AssertStatement

java.lang.Object
de.fraunhofer.aisec.cpg.graph.Node
de.fraunhofer.aisec.cpg.graph.statements.Statement
de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
All Implemented Interfaces:
DeclarationHolder, Persistable, IVisitable<de.fraunhofer.aisec.cpg.graph.Node>
public class AssertStatement
extends Statement
Represents an assert statement

  • Nested Class Summary

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

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

  • Field Summary

    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
    AssertStatement()  

  • Method Summary

    Modifier and Type Method Description
    boolean equals​(java.lang.Object o)  
    Expression getCondition()  
    @Nullable Statement getMessage()  
    int hashCode()  
    void setCondition​(Expression condition)  
    void setMessage​(@NonNull Statement message)  

    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, 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, toString

    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.processing.IVisitable

    accept

  • Constructor Details

    • AssertStatement

      public AssertStatement()

  • Method Details

    • getCondition

      public Expression getCondition()

    • setCondition

      public void setCondition​(Expression condition)

    • getMessage

      public @Nullable Statement getMessage()

    • setMessage

      public void setMessage​(@NonNull Statement message)

    • equals

      public boolean equals​(java.lang.Object o)
      Overrides:
      equals in class Statement

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Statement