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

Class DoStatement

java.lang.Object
de.fraunhofer.aisec.cpg.graph.Node
de.fraunhofer.aisec.cpg.graph.statements.Statement
de.fraunhofer.aisec.cpg.graph.statements.DoStatement
All Implemented Interfaces:
DeclarationHolder, Persistable, IVisitable<de.fraunhofer.aisec.cpg.graph.Node>
public class DoStatement
extends Statement
Represents a conditional loop statement of the form: do{...}while(...).

  • 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
    DoStatement()  

  • Method Summary

    Modifier and Type Method Description
    boolean equals​(java.lang.Object o)  
    Expression getCondition()  
    Statement getStatement()  
    int hashCode()  
    void setCondition​(Expression condition)  
    void setStatement​(Statement thenStatement)  
    java.lang.String toString()  

    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

    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

    • DoStatement

      public DoStatement()

  • Method Details

    • getCondition

      public Expression getCondition()

    • setCondition

      public void setCondition​(Expression condition)

    • getStatement

      public Statement getStatement()

    • setStatement

      public void setStatement​(Statement thenStatement)

    • toString

      public java.lang.String toString()
      Overrides:
      toString in class de.fraunhofer.aisec.cpg.graph.Node

    • equals

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

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Statement