Class ProblemDeclaration
java.lang.Object
de.fraunhofer.aisec.cpg.graph.Node
de.fraunhofer.aisec.cpg.graph.declarations.Declaration
de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
- All Implemented Interfaces:
Persistable,IVisitable<de.fraunhofer.aisec.cpg.graph.Node>
public class ProblemDeclaration extends Declaration
-
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.Node
Companion, EMPTY_NAME, TO_STRING_STYLE -
Constructor Summary
Constructors Constructor Description ProblemDeclaration() -
Method Summary
Modifier and Type Method Description booleanequals(java.lang.Object o)java.lang.StringgetFilename()java.lang.StringgetProblem()java.lang.StringgetProblemLocation()inthashCode()voidsetFilename(java.lang.String filename)voidsetProblem(java.lang.String problem)voidsetProblemLocation(java.lang.String problemLocation)java.lang.StringtoString()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, setTypedefsMethods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface de.fraunhofer.aisec.cpg.processing.IVisitable
accept
-
Constructor Details
-
ProblemDeclaration
public ProblemDeclaration()
-
-
Method Details
-
toString
public java.lang.String toString()- Overrides:
toStringin classde.fraunhofer.aisec.cpg.graph.Node
-
getFilename
public java.lang.String getFilename() -
setFilename
public void setFilename(java.lang.String filename) -
getProblem
public java.lang.String getProblem() -
setProblem
public void setProblem(java.lang.String problem) -
getProblemLocation
public java.lang.String getProblemLocation() -
setProblemLocation
public void setProblemLocation(java.lang.String problemLocation) -
equals
public boolean equals(java.lang.Object o)- Overrides:
equalsin classde.fraunhofer.aisec.cpg.graph.Node
-
hashCode
public int hashCode()- Overrides:
hashCodein classde.fraunhofer.aisec.cpg.graph.Node
-