Uses of Class
org.eclipse.palamedes.kif.core.ast.ASTNode

Packages that use ASTNode

org.eclipse.palamedes.gdl.core.ast
org.eclipse.palamedes.kif.core.ast
org.eclipse.palamedes.kif.core.ast.visitor
org.eclipse.palamedes.kif.core.knowledgebase
org.eclipse.palamedes.ui.editor.rulegraph
org.eclipse.palamedes.ui.editor.rulegraph.model
org.eclipse.palamedes.ui.editor.sourcecode

Uses of ASTNode in org.eclipse.palamedes.gdl.core.ast

Subclasses of ASTNode in org.eclipse.palamedes.gdl.core.ast

class	Does
class	GDLForm
class	Init
class	Role
class	Rule A rule is an implication of the form h <= b_1 ∧ ...
class	RuleGeneral
class	RuleGoal
class	RuleLegal
class	RuleNext
class	RuleTerminal
class	True

Uses of ASTNode in org.eclipse.palamedes.kif.core.ast

Classes in org.eclipse.palamedes.kif.core.ast with type parameters of type ASTNode

class

KIFSeq<T extends ASTNode>

Subclasses of ASTNode in org.eclipse.palamedes.kif.core.ast

class	KIFComment
class	KIFConjunction
class	KIFDisjunction
class	KIFForm
class	KIFFunTerm
class	KIFImplication
class	KIFIndVar
class	KIFLogConst
class	KIFLogSent
class	KIFNegation
class	KIFObjConst
class	KIFOperator
class	KIFRelSent
class	KIFSent
class	KIFTerm

Methods in org.eclipse.palamedes.kif.core.ast that return ASTNode

ASTNode	ASTNode.clone(AST baseAST)
ASTNode	AST.parseFile(java.lang.String filename)
ASTNode	AST.parseString(java.lang.String text)

Methods in org.eclipse.palamedes.kif.core.ast that return types with arguments of type ASTNode

java.util.List<ASTNode>	KIFForm.getChildren()
KIFSeq<? extends ASTNode>	KIFComment.getOperands()
abstract KIFSeq<? extends ASTNode>	KIFSent.getOperands()

Methods in org.eclipse.palamedes.kif.core.ast with parameters of type ASTNode

protected void	ASTNode.copyMembers(ASTNode node) This method is for internal use!
boolean	ASTMatcher.match(ASTNode node, java.lang.Object match)

Uses of ASTNode in org.eclipse.palamedes.kif.core.ast.visitor

Fields in org.eclipse.palamedes.kif.core.ast.visitor declared as ASTNode

protected ASTNode

DefaultVisitor.currentTopLevelNode

Methods in org.eclipse.palamedes.kif.core.ast.visitor with parameters of type ASTNode

boolean	ContainsChecker.containsType(ASTNode node, java.lang.Class<?> type)
boolean	GroundChecker.isGround(ASTNode node) This method checks the given ASTNode whether it contains a KIFIndVar or not.
protected void	DefaultVisitor.postVisitComplexNode(ASTNode node)
protected void	DefaultVisitor.postVisitFormNode(ASTNode node)
void	ContainsChecker.preVisitComplexNode(ASTNode node)
protected void	DefaultVisitor.preVisitComplexNode(ASTNode node)
protected void	DefaultVisitor.preVisitFormNode(ASTNode node)
static java.lang.String	NotationWriter.toDefaultString(ASTNode node)
java.lang.String	NotationWriter.toString(ASTNode node)
void	ContainsChecker.visitBasicNode(ASTNode node)
protected void	DefaultVisitor.visitBasicNode(ASTNode node)

Method parameters in org.eclipse.palamedes.kif.core.ast.visitor with type arguments of type ASTNode

static java.lang.String	NotationWriter.toDefaultString(KIFSeq<? extends ASTNode> sequence)
static java.lang.String	NotationWriter.toDefaultString(KIFSeq<? extends ASTNode> sequence, java.lang.String filler)
java.lang.String	NotationWriter.toString(KIFSeq<? extends ASTNode> sequence)
java.lang.String	NotationWriter.toString(KIFSeq<? extends ASTNode> sequence, java.lang.String filler)

Uses of ASTNode in org.eclipse.palamedes.kif.core.knowledgebase

Methods in org.eclipse.palamedes.kif.core.knowledgebase that return types with arguments of type ASTNode

java.util.ArrayList<ASTNode>

KBEntry.getNodeList() Returns all ASTNodes that correspond to the symbol directly.

Uses of ASTNode in org.eclipse.palamedes.ui.editor.rulegraph

Methods in org.eclipse.palamedes.ui.editor.rulegraph with parameters of type ASTNode

void	RuleGraphCreator.postVisitComplexNode(ASTNode node)
void	RuleGraphCreator.preVisitComplexNode(ASTNode node)
void	RuleGraphCreator.visitBasicNode(ASTNode node)

Uses of ASTNode in org.eclipse.palamedes.ui.editor.rulegraph.model

Constructors in org.eclipse.palamedes.ui.editor.rulegraph.model with parameters of type ASTNode

BasicNodeModel(ASTNode node)

ComplexNodeModel(ASTNode node)

Uses of ASTNode in org.eclipse.palamedes.ui.editor.sourcecode

Methods in org.eclipse.palamedes.ui.editor.sourcecode that return ASTNode

ASTNode

SourceCodeEditor.getAST() This method returns the AST of the current source.