Package: AForAllStmIR
AForAllStmIR
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AForAllStmIR() |
|
|
|
|
|
||||||||||||||||||||
AForAllStmIR(SPatternIR, SExpIR, SStmIR) |
|
|
|
|
|
||||||||||||||||||||
AForAllStmIR(SourceNode, Object, List, SPatternIR, SExpIR, SStmIR) |
|
|
|
|
|
||||||||||||||||||||
apply(IAnalysis) |
|
|
|
|
|
||||||||||||||||||||
apply(IAnswer) |
|
|
|
|
|
||||||||||||||||||||
apply(IQuestion, Object) |
|
|
|
|
|
||||||||||||||||||||
apply(IQuestionAnswer, Object) |
|
|
|
|
|
||||||||||||||||||||
clone() |
|
|
|
|
|
||||||||||||||||||||
clone(Map) |
|
|
|
|
|
||||||||||||||||||||
equals(Object) |
|
|
|
|
|
||||||||||||||||||||
getBody() |
|
|
|
|
|
||||||||||||||||||||
getChildren(Boolean) |
|
|
|
|
|
||||||||||||||||||||
getExp() |
|
|
|
|
|
||||||||||||||||||||
getPattern() |
|
|
|
|
|
||||||||||||||||||||
hashCode() |
|
|
|
|
|
||||||||||||||||||||
removeChild(INode) |
|
|
|
|
|
||||||||||||||||||||
setBody(SStmIR) |
|
|
|
|
|
||||||||||||||||||||
setExp(SExpIR) |
|
|
|
|
|
||||||||||||||||||||
setPattern(SPatternIR) |
|
|
|
|
|
||||||||||||||||||||
toString() |
|
|
|
|
|