Skip navigation links
A B C D E F G I L N O P R S T U 

A

AAtomTerm - Class in de.prob.core.sablecc.node
 
AAtomTerm() - Constructor for class de.prob.core.sablecc.node.AAtomTerm
 
AAtomTerm(TName) - Constructor for class de.prob.core.sablecc.node.AAtomTerm
 
addElementsFromListToNewList(String) - Method in class de.prob.core.sablecc.parser.Parser
 
AEmptyMoreParams - Class in de.prob.core.sablecc.node
 
AEmptyMoreParams() - Constructor for class de.prob.core.sablecc.node.AEmptyMoreParams
 
AExceptionResult - Class in de.prob.core.sablecc.node
 
AExceptionResult() - Constructor for class de.prob.core.sablecc.node.AExceptionResult
 
AExceptionResult(TException, TString) - Constructor for class de.prob.core.sablecc.node.AExceptionResult
 
AInterruptedResult - Class in de.prob.core.sablecc.node
 
AInterruptedResult() - Constructor for class de.prob.core.sablecc.node.AInterruptedResult
 
AInterruptedResult(TInterrupted) - Constructor for class de.prob.core.sablecc.node.AInterruptedResult
 
AMoreParams - Class in de.prob.core.sablecc.node
 
AMoreParams() - Constructor for class de.prob.core.sablecc.node.AMoreParams
 
AMoreParams(TComma, PTerm, PMoreParams) - Constructor for class de.prob.core.sablecc.node.AMoreParams
 
Analysis - Interface in de.prob.core.sablecc.analysis
 
AnalysisAdapter - Class in de.prob.core.sablecc.analysis
 
AnalysisAdapter() - Constructor for class de.prob.core.sablecc.analysis.AnalysisAdapter
 
ANoResult - Class in de.prob.core.sablecc.node
 
ANoResult() - Constructor for class de.prob.core.sablecc.node.ANoResult
 
ANoResult(TNo) - Constructor for class de.prob.core.sablecc.node.ANoResult
 
ANumberTerm - Class in de.prob.core.sablecc.node
 
ANumberTerm() - Constructor for class de.prob.core.sablecc.node.ANumberTerm
 
ANumberTerm(TNumber) - Constructor for class de.prob.core.sablecc.node.ANumberTerm
 
AParams - Class in de.prob.core.sablecc.node
 
AParams() - Constructor for class de.prob.core.sablecc.node.AParams
 
AParams(TLPar, PTerm, PMoreParams, TRPar) - Constructor for class de.prob.core.sablecc.node.AParams
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AAtomTerm
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AEmptyMoreParams
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AExceptionResult
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AInterruptedResult
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AMoreParams
 
apply(Switch) - Method in class de.prob.core.sablecc.node.ANoResult
 
apply(Switch) - Method in class de.prob.core.sablecc.node.ANumberTerm
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AParams
 
apply(Switch) - Method in class de.prob.core.sablecc.node.ATerm
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AVariableTerm
 
apply(Switch) - Method in class de.prob.core.sablecc.node.AYesResult
 
apply(Switch) - Method in class de.prob.core.sablecc.node.EOF
 
apply(Switch) - Method in class de.prob.core.sablecc.node.Start
 
apply(Switch) - Method in interface de.prob.core.sablecc.node.Switchable
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TComma
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TException
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TInterrupted
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TLPar
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TLSq
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TName
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TNo
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TNumber
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TRPar
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TRSq
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TString
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TVariable
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TWhiteSpace
 
apply(Switch) - Method in class de.prob.core.sablecc.node.TYes
 
ATerm - Class in de.prob.core.sablecc.node
 
ATerm() - Constructor for class de.prob.core.sablecc.node.ATerm
 
ATerm(TName, PParams) - Constructor for class de.prob.core.sablecc.node.ATerm
 
AVariableTerm - Class in de.prob.core.sablecc.node
 
AVariableTerm() - Constructor for class de.prob.core.sablecc.node.AVariableTerm
 
AVariableTerm(TVariable) - Constructor for class de.prob.core.sablecc.node.AVariableTerm
 
AYesResult - Class in de.prob.core.sablecc.node
 
AYesResult() - Constructor for class de.prob.core.sablecc.node.AYesResult
 
AYesResult(TYes, TLPar, PTerm, TRPar) - Constructor for class de.prob.core.sablecc.node.AYesResult
 

B

BindingGenerator - Class in de.prob.parser
Takes a Prolog term of the form (only its canonical form) "[x=a,y=b,z=c]" and converts it into a mapping x->a, y->b, z->c, where x,y and z are identifiers and a,b,c prolog terms.
BindingGenerator() - Constructor for class de.prob.parser.BindingGenerator
 

C

caseAAtomTerm(AAtomTerm) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAEmptyMoreParams(AEmptyMoreParams) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAExceptionResult(AExceptionResult) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAInterruptedResult(AInterruptedResult) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAMoreParams(AMoreParams) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseANoResult(ANoResult) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseANumberTerm(ANumberTerm) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAParams(AParams) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAParams(AParams) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAParams(AParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAParams(AParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseATerm(ATerm) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAVariableTerm(AVariableTerm) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseAYesResult(AYesResult) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseEOF(EOF) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseEOF(EOF) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseStart(Start) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseStart(Start) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseStart(Start) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
caseStart(Start) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
caseTComma(TComma) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTComma(TComma) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTException(TException) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTException(TException) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTInterrupted(TInterrupted) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTInterrupted(TInterrupted) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTLPar(TLPar) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTLPar(TLPar) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTLSq(TLSq) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTLSq(TLSq) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTName(TName) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTName(TName) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTNo(TNo) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTNo(TNo) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTNumber(TNumber) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTNumber(TNumber) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTRPar(TRPar) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTRPar(TRPar) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTRSq(TRSq) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTRSq(TRSq) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTString(TString) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTString(TString) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTVariable(TVariable) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTVariable(TVariable) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTWhiteSpace(TWhiteSpace) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTWhiteSpace(TWhiteSpace) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
caseTYes(TYes) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
caseTYes(TYes) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
checkResult(Object) - Method in class de.prob.core.sablecc.parser.Parser
 
checkResult(Object, boolean) - Method in class de.prob.core.sablecc.parser.Parser
 
clone() - Method in class de.prob.core.sablecc.node.AAtomTerm
 
clone() - Method in class de.prob.core.sablecc.node.AEmptyMoreParams
 
clone() - Method in class de.prob.core.sablecc.node.AExceptionResult
 
clone() - Method in class de.prob.core.sablecc.node.AInterruptedResult
 
clone() - Method in class de.prob.core.sablecc.node.AMoreParams
 
clone() - Method in class de.prob.core.sablecc.node.ANoResult
 
clone() - Method in class de.prob.core.sablecc.node.ANumberTerm
 
clone() - Method in class de.prob.core.sablecc.node.AParams
 
clone() - Method in class de.prob.core.sablecc.node.ATerm
 
clone() - Method in class de.prob.core.sablecc.node.AVariableTerm
 
clone() - Method in class de.prob.core.sablecc.node.AYesResult
 
clone() - Method in class de.prob.core.sablecc.node.EOF
 
clone() - Method in class de.prob.core.sablecc.node.Node
 
clone() - Method in class de.prob.core.sablecc.node.Start
 
clone() - Method in class de.prob.core.sablecc.node.TComma
 
clone() - Method in class de.prob.core.sablecc.node.TException
 
clone() - Method in class de.prob.core.sablecc.node.TInterrupted
 
clone() - Method in class de.prob.core.sablecc.node.TLPar
 
clone() - Method in class de.prob.core.sablecc.node.TLSq
 
clone() - Method in class de.prob.core.sablecc.node.TName
 
clone() - Method in class de.prob.core.sablecc.node.TNo
 
clone() - Method in class de.prob.core.sablecc.node.TNumber
 
clone() - Method in class de.prob.core.sablecc.node.TRPar
 
clone() - Method in class de.prob.core.sablecc.node.TRSq
 
clone() - Method in class de.prob.core.sablecc.node.TString
 
clone() - Method in class de.prob.core.sablecc.node.TVariable
 
clone() - Method in class de.prob.core.sablecc.node.TWhiteSpace
 
clone() - Method in class de.prob.core.sablecc.node.TYes
 
cloneList(List<T>) - Method in class de.prob.core.sablecc.node.Node
 
cloneNode(T) - Method in class de.prob.core.sablecc.node.Node
 
compareTo(SourcePosition) - Method in class de.hhu.stups.sablecc.patch.SourcePosition
 
createBeginPos(int) - Method in class de.prob.core.sablecc.parser.Parser
 
createBinding(Start) - Static method in class de.prob.parser.BindingGenerator
 
createBindingMustNotFail(String, Start) - Static method in class de.prob.parser.BindingGenerator
 
createEndPos(int) - Method in class de.prob.core.sablecc.parser.Parser
 

D

de.hhu.stups.sablecc.patch - package de.hhu.stups.sablecc.patch
 
de.prob.core.sablecc.analysis - package de.prob.core.sablecc.analysis
 
de.prob.core.sablecc.lexer - package de.prob.core.sablecc.lexer
 
de.prob.core.sablecc.node - package de.prob.core.sablecc.node
 
de.prob.core.sablecc.parser - package de.prob.core.sablecc.parser
 
de.prob.parser - package de.prob.parser
 
defaultCase(Node) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
defaultIn(Node) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
defaultIn(Node) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
defaultOut(Node) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
defaultOut(Node) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
DepthFirstAdapter - Class in de.prob.core.sablecc.analysis
 
DepthFirstAdapter() - Constructor for class de.prob.core.sablecc.analysis.DepthFirstAdapter
 

E

EOF - Class in de.prob.core.sablecc.node
 
EOF() - Constructor for class de.prob.core.sablecc.node.EOF
 
EOF(int, int) - Constructor for class de.prob.core.sablecc.node.EOF
 
errorMessages - Static variable in class de.prob.core.sablecc.parser.Parser
 
EXCEPTION - Static variable in class de.prob.core.sablecc.lexer.Lexer.State
 

F

filter() - Method in class de.prob.core.sablecc.lexer.Lexer
 
filter() - Method in class de.prob.core.sablecc.parser.Parser
 
filterWrap() - Method in class de.prob.core.sablecc.lexer.Lexer
 
findBeginPos(ArrayList, PositionedNode) - Method in class de.prob.core.sablecc.parser.Parser
 
findEndPos(ArrayList) - Method in class de.prob.core.sablecc.parser.Parser
 
findIndex(IToken) - Method in class de.prob.core.sablecc.parser.Parser
 
firstPopped - Variable in class de.prob.core.sablecc.parser.Parser
 

G

get(K) - Method in interface de.prob.parser.ISimplifiedROMap
 
getBeginColumn(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Returns the column of the first character of this PositionedNode, i.e.
getBeginColumn(SourcecodeRange) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
getBeginIndex() - Method in class de.hhu.stups.sablecc.patch.SourcecodeRange
 
getBeginLine(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Returns the line in which this PositionedNode begins.
getBeginLine(SourcecodeRange) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
getComma() - Method in class de.prob.core.sablecc.node.AMoreParams
 
getCompoundTerm(PrologTerm, String, int) - Static method in class de.prob.parser.BindingGenerator
 
getCompoundTerm(PrologTerm, int) - Static method in class de.prob.parser.BindingGenerator
 
getCompoundTerm(Map<String, PrologTerm>, String, String, int) - Static method in class de.prob.parser.BindingGenerator
 
getCompoundTerm(Map<String, PrologTerm>, String, int) - Static method in class de.prob.parser.BindingGenerator
 
getEndColumn(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Returns the last column of this PositionedNode, i.e.
getEndIndex() - Method in class de.hhu.stups.sablecc.patch.SourcecodeRange
 
getEndLine(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Returns the line in which the PositionedNode ends.
getEndPos() - Method in class de.hhu.stups.sablecc.patch.PositionedNode
 
getEOF() - Method in class de.prob.core.sablecc.node.Start
 
getException() - Method in class de.prob.core.sablecc.node.AExceptionResult
 
getFunctor() - Method in class de.prob.core.sablecc.node.ATerm
 
getIn(Node) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
getIn(Node) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
getInteger(PrologTerm) - Static method in class de.prob.parser.BindingGenerator
 
getInteger(Map<String, PrologTerm>, String) - Static method in class de.prob.parser.BindingGenerator
 
getInterrupted() - Method in class de.prob.core.sablecc.node.AInterruptedResult
 
getLine() - Method in interface de.hhu.stups.sablecc.patch.IToken
 
getLine() - Method in class de.hhu.stups.sablecc.patch.SourcePosition
 
getLine() - Method in class de.prob.core.sablecc.node.Token
 
getList(PrologTerm) - Static method in class de.prob.parser.BindingGenerator
 
getList(Map<String, PrologTerm>, String) - Static method in class de.prob.parser.BindingGenerator
 
getList(ISimplifiedROMap<String, PrologTerm>, String) - Static method in class de.prob.parser.BindingGenerator
 
getLPar() - Method in class de.prob.core.sablecc.node.AParams
 
getLPar() - Method in class de.prob.core.sablecc.node.AYesResult
 
getMapping() - Method in interface de.hhu.stups.sablecc.patch.IParser
 
getMapping() - Method in class de.prob.core.sablecc.parser.Parser
 
getMoreParams() - Method in class de.prob.core.sablecc.node.AMoreParams
 
getMoreParams() - Method in class de.prob.core.sablecc.node.AParams
 
getName() - Method in class de.prob.core.sablecc.node.AAtomTerm
 
getNextList() - Method in class de.prob.core.sablecc.lexer.Lexer
 
getNo() - Method in class de.prob.core.sablecc.node.ANoResult
 
getNodeString(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
getNumber() - Method in class de.prob.core.sablecc.node.ANumberTerm
 
getOut(Node) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
getOut(Node) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
getParams() - Method in class de.prob.core.sablecc.node.ATerm
 
getPos() - Method in interface de.hhu.stups.sablecc.patch.IToken
 
getPos() - Method in class de.hhu.stups.sablecc.patch.SourcePosition
 
getPos() - Method in class de.prob.core.sablecc.node.Token
 
getPResult() - Method in class de.prob.core.sablecc.node.Start
 
getRangeString(SourcecodeRange) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
getRealMsg() - Method in exception de.prob.core.sablecc.parser.ParserException
 
getRPar() - Method in class de.prob.core.sablecc.node.AParams
 
getRPar() - Method in class de.prob.core.sablecc.node.AYesResult
 
getSourcecodeRange(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Returns the SourcecodeRange of this PositionedNode or null if no SourcecodeRange is available.
getStartPos() - Method in class de.hhu.stups.sablecc.patch.PositionedNode
 
getString() - Method in class de.prob.core.sablecc.node.AExceptionResult
 
getSurroundingNode(int) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
getTerm() - Method in class de.prob.core.sablecc.node.AMoreParams
 
getTerm() - Method in class de.prob.core.sablecc.node.AParams
 
getTerm() - Method in class de.prob.core.sablecc.node.AYesResult
 
getText() - Method in interface de.hhu.stups.sablecc.patch.IToken
 
getText() - Method in class de.prob.core.sablecc.node.Token
 
getToken() - Method in class de.prob.core.sablecc.lexer.Lexer
 
getToken() - Method in exception de.prob.core.sablecc.parser.ParserException
 
getTokenforPosition(int, int) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Finds the index of the token that belongs to the position.
getTokenList() - Method in interface de.hhu.stups.sablecc.patch.ITokenListContainer
 
getTokenList() - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
getTokenList() - Method in class de.prob.core.sablecc.lexer.Lexer
 
getTokens(PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
Returns the array of ITokens belonging to this PositionedNode.
getVariable() - Method in class de.prob.core.sablecc.node.AVariableTerm
 
getVariable(PrologTerm) - Static method in class de.prob.parser.BindingGenerator
 
getVariable(Map<String, PrologTerm>, String) - Static method in class de.prob.parser.BindingGenerator
 
getYes() - Method in class de.prob.core.sablecc.node.AYesResult
 

I

id() - Method in class de.prob.core.sablecc.lexer.Lexer.State
 
ignoredTokens - Variable in class de.prob.core.sablecc.parser.Parser
 
inAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAParams(AParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAParams(AParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
inAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
INIT - Static variable in class de.prob.core.sablecc.lexer.Lexer.State
 
inStart(Start) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
inStart(Start) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
IParser - Interface in de.hhu.stups.sablecc.patch
 
ISimplifiedROMap<K,V> - Interface in de.prob.parser
This interface describes a completely stripped-down version of a read-only map.
IToken - Interface in de.hhu.stups.sablecc.patch
 
ITokenListContainer - Interface in de.hhu.stups.sablecc.patch
 

L

lastPopped - Variable in class de.prob.core.sablecc.parser.Parser
 
Lexer - Class in de.prob.core.sablecc.lexer
 
Lexer(PushbackReader) - Constructor for class de.prob.core.sablecc.lexer.Lexer
 
Lexer.State - Class in de.prob.core.sablecc.lexer
 
LexerException - Exception in de.prob.core.sablecc.lexer
 
LexerException(String) - Constructor for exception de.prob.core.sablecc.lexer.LexerException
 

N

new0() - Method in class de.prob.core.sablecc.parser.Parser
 
new1() - Method in class de.prob.core.sablecc.parser.Parser
 
new10() - Method in class de.prob.core.sablecc.parser.Parser
 
new2() - Method in class de.prob.core.sablecc.parser.Parser
 
new3() - Method in class de.prob.core.sablecc.parser.Parser
 
new4() - Method in class de.prob.core.sablecc.parser.Parser
 
new5() - Method in class de.prob.core.sablecc.parser.Parser
 
new6() - Method in class de.prob.core.sablecc.parser.Parser
 
new7() - Method in class de.prob.core.sablecc.parser.Parser
 
new8() - Method in class de.prob.core.sablecc.parser.Parser
 
new9() - Method in class de.prob.core.sablecc.parser.Parser
 
next() - Method in class de.prob.core.sablecc.lexer.Lexer
 
Node - Class in de.prob.core.sablecc.node
 
Node() - Constructor for class de.prob.core.sablecc.node.Node
 
nodeList - Variable in class de.prob.core.sablecc.parser.Parser
 
NORMAL - Static variable in class de.prob.core.sablecc.lexer.Lexer.State
 

O

outAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAAtomTerm(AAtomTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAEmptyMoreParams(AEmptyMoreParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAExceptionResult(AExceptionResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAInterruptedResult(AInterruptedResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAMoreParams(AMoreParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outANoResult(ANoResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outANumberTerm(ANumberTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAParams(AParams) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAParams(AParams) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outATerm(ATerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAVariableTerm(AVariableTerm) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outAYesResult(AYesResult) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 
outStart(Start) - Method in class de.prob.core.sablecc.analysis.DepthFirstAdapter
 
outStart(Start) - Method in class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 

P

parent() - Method in class de.prob.core.sablecc.node.Node
 
parse() - Method in class de.prob.core.sablecc.parser.Parser
 
parse(String) - Static method in class de.prob.parser.ProBResultParser
 
Parser - Class in de.prob.core.sablecc.parser
 
Parser(Lexer) - Constructor for class de.prob.core.sablecc.parser.Parser
 
ParserException - Exception in de.prob.core.sablecc.parser
 
ParserException(Token, String) - Constructor for exception de.prob.core.sablecc.parser.ParserException
 
ParserException(Token, String, String) - Constructor for exception de.prob.core.sablecc.parser.ParserException
 
peek() - Method in class de.prob.core.sablecc.lexer.Lexer
 
PMoreParams - Class in de.prob.core.sablecc.node
 
PMoreParams() - Constructor for class de.prob.core.sablecc.node.PMoreParams
 
pop() - Method in class de.prob.core.sablecc.parser.Parser
 
PositionedNode - Class in de.hhu.stups.sablecc.patch
 
PositionedNode() - Constructor for class de.hhu.stups.sablecc.patch.PositionedNode
 
PParams - Class in de.prob.core.sablecc.node
 
PParams() - Constructor for class de.prob.core.sablecc.node.PParams
 
PResult - Class in de.prob.core.sablecc.node
 
PResult() - Constructor for class de.prob.core.sablecc.node.PResult
 
ProBResultParser - Class in de.prob.parser
 
PrologTermGenerator - Class in de.prob.parser
This generator extracts prolog terms from a SableCC syntax tree.
PrologTermGenerator() - Constructor for class de.prob.parser.PrologTermGenerator
 
PTerm - Class in de.prob.core.sablecc.node
 
PTerm() - Constructor for class de.prob.core.sablecc.node.PTerm
 

R

replaceBy(Node) - Method in class de.prob.core.sablecc.node.Node
 
replaceMapping(PositionedNode, PositionedNode) - Method in class de.hhu.stups.sablecc.patch.SourcePositions
 
ResultParserException - Exception in de.prob.parser
 
ResultParserException(String, Throwable) - Constructor for exception de.prob.parser.ResultParserException
 
ReversedDepthFirstAdapter - Class in de.prob.core.sablecc.analysis
 
ReversedDepthFirstAdapter() - Constructor for class de.prob.core.sablecc.analysis.ReversedDepthFirstAdapter
 

S

setComma(TComma) - Method in class de.prob.core.sablecc.node.AMoreParams
 
setEndPos(SourcePosition) - Method in class de.hhu.stups.sablecc.patch.PositionedNode
 
setEOF(EOF) - Method in class de.prob.core.sablecc.node.Start
 
setException(TException) - Method in class de.prob.core.sablecc.node.AExceptionResult
 
setFunctor(TName) - Method in class de.prob.core.sablecc.node.ATerm
 
setIn(Node, Object) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
setIn(Node, Object) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
setInterrupted(TInterrupted) - Method in class de.prob.core.sablecc.node.AInterruptedResult
 
setLine(int) - Method in interface de.hhu.stups.sablecc.patch.IToken
 
setLine(int) - Method in class de.prob.core.sablecc.node.Token
 
setLPar(TLPar) - Method in class de.prob.core.sablecc.node.AParams
 
setLPar(TLPar) - Method in class de.prob.core.sablecc.node.AYesResult
 
setMoreParams(PMoreParams) - Method in class de.prob.core.sablecc.node.AMoreParams
 
setMoreParams(PMoreParams) - Method in class de.prob.core.sablecc.node.AParams
 
setName(TName) - Method in class de.prob.core.sablecc.node.AAtomTerm
 
setNo(TNo) - Method in class de.prob.core.sablecc.node.ANoResult
 
setNumber(TNumber) - Method in class de.prob.core.sablecc.node.ANumberTerm
 
setOut(Node, Object) - Method in interface de.prob.core.sablecc.analysis.Analysis
 
setOut(Node, Object) - Method in class de.prob.core.sablecc.analysis.AnalysisAdapter
 
setParams(PParams) - Method in class de.prob.core.sablecc.node.ATerm
 
setPos(int) - Method in interface de.hhu.stups.sablecc.patch.IToken
 
setPos(int) - Method in class de.prob.core.sablecc.node.Token
 
setPResult(PResult) - Method in class de.prob.core.sablecc.node.Start
 
setRPar(TRPar) - Method in class de.prob.core.sablecc.node.AParams
 
setRPar(TRPar) - Method in class de.prob.core.sablecc.node.AYesResult
 
setStartPos(SourcePosition) - Method in class de.hhu.stups.sablecc.patch.PositionedNode
 
setString(TString) - Method in class de.prob.core.sablecc.node.AExceptionResult
 
setTerm(PTerm) - Method in class de.prob.core.sablecc.node.AMoreParams
 
setTerm(PTerm) - Method in class de.prob.core.sablecc.node.AParams
 
setTerm(PTerm) - Method in class de.prob.core.sablecc.node.AYesResult
 
setText(String) - Method in interface de.hhu.stups.sablecc.patch.IToken
 
setText(String) - Method in class de.prob.core.sablecc.node.TException
 
setText(String) - Method in class de.prob.core.sablecc.node.TInterrupted
 
setText(String) - Method in class de.prob.core.sablecc.node.TNo
 
setText(String) - Method in class de.prob.core.sablecc.node.Token
 
setText(String) - Method in class de.prob.core.sablecc.node.TYes
 
setTokenList(List<IToken>) - Method in class de.prob.core.sablecc.lexer.Lexer
 
setVariable(TVariable) - Method in class de.prob.core.sablecc.node.AVariableTerm
 
setYes(TYes) - Method in class de.prob.core.sablecc.node.AYesResult
 
SourcecodeRange - Class in de.hhu.stups.sablecc.patch
 
SourcecodeRange(int, int) - Constructor for class de.hhu.stups.sablecc.patch.SourcecodeRange
 
SourcePosition - Class in de.hhu.stups.sablecc.patch
 
SourcePosition(int, int) - Constructor for class de.hhu.stups.sablecc.patch.SourcePosition
 
SourcePositions - Class in de.hhu.stups.sablecc.patch
 
SourcePositions(List<IToken>, Map<PositionedNode, SourcecodeRange>) - Constructor for class de.hhu.stups.sablecc.patch.SourcePositions
 
Start - Class in de.prob.core.sablecc.node
 
Start() - Constructor for class de.prob.core.sablecc.node.Start
 
Start(PResult, EOF) - Constructor for class de.prob.core.sablecc.node.Start
 
state - Variable in class de.prob.core.sablecc.lexer.Lexer
 
Switch - Interface in de.prob.core.sablecc.node
 
Switchable - Interface in de.prob.core.sablecc.node
 

T

TComma - Class in de.prob.core.sablecc.node
 
TComma(String) - Constructor for class de.prob.core.sablecc.node.TComma
 
TComma(String, int, int) - Constructor for class de.prob.core.sablecc.node.TComma
 
TException - Class in de.prob.core.sablecc.node
 
TException() - Constructor for class de.prob.core.sablecc.node.TException
 
TException(int, int) - Constructor for class de.prob.core.sablecc.node.TException
 
TInterrupted - Class in de.prob.core.sablecc.node
 
TInterrupted() - Constructor for class de.prob.core.sablecc.node.TInterrupted
 
TInterrupted(int, int) - Constructor for class de.prob.core.sablecc.node.TInterrupted
 
TLPar - Class in de.prob.core.sablecc.node
 
TLPar(String) - Constructor for class de.prob.core.sablecc.node.TLPar
 
TLPar(String, int, int) - Constructor for class de.prob.core.sablecc.node.TLPar
 
TLSq - Class in de.prob.core.sablecc.node
 
TLSq(String) - Constructor for class de.prob.core.sablecc.node.TLSq
 
TLSq(String, int, int) - Constructor for class de.prob.core.sablecc.node.TLSq
 
TName - Class in de.prob.core.sablecc.node
 
TName(String) - Constructor for class de.prob.core.sablecc.node.TName
 
TName(String, int, int) - Constructor for class de.prob.core.sablecc.node.TName
 
TNo - Class in de.prob.core.sablecc.node
 
TNo() - Constructor for class de.prob.core.sablecc.node.TNo
 
TNo(int, int) - Constructor for class de.prob.core.sablecc.node.TNo
 
TNumber - Class in de.prob.core.sablecc.node
 
TNumber(String) - Constructor for class de.prob.core.sablecc.node.TNumber
 
TNumber(String, int, int) - Constructor for class de.prob.core.sablecc.node.TNumber
 
token - Variable in class de.prob.core.sablecc.lexer.Lexer
 
Token - Class in de.prob.core.sablecc.node
 
Token() - Constructor for class de.prob.core.sablecc.node.Token
 
toPrologTerm(Start) - Static method in class de.prob.parser.PrologTermGenerator
 
toPrologTermMustNotFail(String, Start) - Static method in class de.prob.parser.PrologTermGenerator
 
toString() - Method in class de.hhu.stups.sablecc.patch.SourcecodeRange
 
toString() - Method in class de.hhu.stups.sablecc.patch.SourcePosition
 
toString() - Method in class de.prob.core.sablecc.node.AAtomTerm
 
toString() - Method in class de.prob.core.sablecc.node.AEmptyMoreParams
 
toString() - Method in class de.prob.core.sablecc.node.AExceptionResult
 
toString() - Method in class de.prob.core.sablecc.node.AInterruptedResult
 
toString() - Method in class de.prob.core.sablecc.node.AMoreParams
 
toString() - Method in class de.prob.core.sablecc.node.ANoResult
 
toString() - Method in class de.prob.core.sablecc.node.ANumberTerm
 
toString() - Method in class de.prob.core.sablecc.node.AParams
 
toString() - Method in class de.prob.core.sablecc.node.ATerm
 
toString() - Method in class de.prob.core.sablecc.node.AVariableTerm
 
toString() - Method in class de.prob.core.sablecc.node.AYesResult
 
toString(Node) - Method in class de.prob.core.sablecc.node.Node
 
toString(List) - Method in class de.prob.core.sablecc.node.Node
 
toString() - Method in class de.prob.core.sablecc.node.Start
 
toString() - Method in class de.prob.core.sablecc.node.Token
 
TRPar - Class in de.prob.core.sablecc.node
 
TRPar(String) - Constructor for class de.prob.core.sablecc.node.TRPar
 
TRPar(String, int, int) - Constructor for class de.prob.core.sablecc.node.TRPar
 
TRSq - Class in de.prob.core.sablecc.node
 
TRSq(String) - Constructor for class de.prob.core.sablecc.node.TRSq
 
TRSq(String, int, int) - Constructor for class de.prob.core.sablecc.node.TRSq
 
TString - Class in de.prob.core.sablecc.node
 
TString(String) - Constructor for class de.prob.core.sablecc.node.TString
 
TString(String, int, int) - Constructor for class de.prob.core.sablecc.node.TString
 
TVariable - Class in de.prob.core.sablecc.node
 
TVariable(String) - Constructor for class de.prob.core.sablecc.node.TVariable
 
TVariable(String, int, int) - Constructor for class de.prob.core.sablecc.node.TVariable
 
TWhiteSpace - Class in de.prob.core.sablecc.node
 
TWhiteSpace(String) - Constructor for class de.prob.core.sablecc.node.TWhiteSpace
 
TWhiteSpace(String, int, int) - Constructor for class de.prob.core.sablecc.node.TWhiteSpace
 
TYes - Class in de.prob.core.sablecc.node
 
TYes() - Constructor for class de.prob.core.sablecc.node.TYes
 
TYes(int, int) - Constructor for class de.prob.core.sablecc.node.TYes
 

U

unread(Token) - Method in class de.prob.core.sablecc.lexer.Lexer
 
A B C D E F G I L N O P R S T U 
Skip navigation links