Select Git revision
Connective.java 6.21 KiB
/* This file was generated with JastAdd2 (http://jastadd.org) version 2.3.5 */
package org.jastadd.ag.ast;
import java.util.*;
/**
* @ast node
* @declaredat E:\\project\\20211201\\src\\gen\\jastadd\\ag.ast:3
* @astdecl Connective : ASTNode;
* @production Connective : {@link ASTNode};
*/
public abstract class Connective extends ASTNode<ASTNode> implements Cloneable {
/**
* @aspect ReferenceCreation
* @declaredat E:\\project\\20211201\\src\\gen\\jastadd\\agRefResolver.jadd:27
*/
public static Connective createRef(String ref) {
Unresolved$Atom unresolvedNode = new Unresolved$Atom();
unresolvedNode.setUnresolved$Token(ref);
unresolvedNode.setUnresolved$ResolveOpposite(true);
return unresolvedNode;
}
/**
* @aspect ReferenceCreation
* @declaredat E:\\project\\20211201\\src\\gen\\jastadd\\agRefResolver.jadd:33
*/
public static Connective createRefDirection(String ref) {
Unresolved$Atom unresolvedNode = new Unresolved$Atom();
unresolvedNode.setUnresolved$Token(ref);
unresolvedNode.setUnresolved$ResolveOpposite(false);
return unresolvedNode;
}
/**
* @aspect ResolverTrigger
* @declaredat E:\\project\\20211201\\src\\gen\\jastadd\\agRefResolver.jadd:308
*/
public void resolveAll() {
super.resolveAll();
}
/**
* @aspect RefResolverHelpers
* @declaredat E:\\project\\20211201\\src\\gen\\jastadd\\agRefResolver.jadd:475
*/
Unresolved$Node$Interface as$Unresolved() {
return null;
}
/**
* @aspect RefResolverHelpers
* @declaredat E:\\project\\20211201\\src\\gen\\jastadd\\agRefResolver.jadd:481
*/
boolean is$Unresolved() {
return false;
}
/**
* @declaredat ASTNode:1
*/
public Connective() {
super();
}
/**
* Initializes the child array to the correct size.
* Initializes List and Opt nta children.
* @apilevel internal
* @ast method
* @declaredat ASTNode:10
*/
public void init$Children() {
state().enterConstruction();
state().exitConstruction();
}
/** @apilevel low-level
* @declaredat ASTNode:15
*/
protected int numChildren() {
state().addHandlerDepTo(numChildren_handler);
return 0;
}
/**
* @apilevel internal
* @declaredat ASTNode:23
*/
public boolean mayHaveRewrite() {
return false;
}
/** @apilevel internal
* @declaredat ASTNode:27
*/
public void flushAttrCache() {
}
/** @apilevel internal
* @declaredat ASTNode:30
*/
public void flushCollectionCache() {
}
/** @apilevel internal
* @declaredat ASTNode:33
*/
public Connective clone() throws CloneNotSupportedException {
Connective node = (Connective) super.clone();
return node;
}
/**
* Create a deep copy of the AST subtree at this node.
* The copy is dangling, i.e. has no parent.
* @return dangling copy of the subtree at this node
* @apilevel low-level
* @deprecated Please use treeCopy or treeCopyNoTransform instead
* @declaredat ASTNode:44
*/
@Deprecated
public abstract Connective fullCopy();
/**
* Create a deep copy of the AST subtree at this node.
* The copy is dangling, i.e. has no parent.
* @return dangling copy of the subtree at this node
* @apilevel low-level
* @declaredat ASTNode:52
*/
public abstract Connective treeCopyNoTransform();
/**
* Create a deep copy of the AST subtree at this node.
* The subtree of this node is traversed to trigger rewrites before copy.
* The copy is dangling, i.e. has no parent.
* @return dangling copy of the subtree at this node
* @apilevel low-level
* @declaredat ASTNode:60
*/
public abstract Connective treeCopy();
/** @apilevel internal
* @declaredat ASTNode:62
*/
protected boolean childIsNTA(int index) {
return super.childIsNTA(index);
}
/**
* @declaredat ASTNode:65
*/
protected ASTNode$DepGraphNode eval_handler;
/**
* @declaredat ASTNode:66
*/
protected void inc_copyHandlers(Connective copy) {
super.inc_copyHandlers(copy);
if (eval_handler != null) {
copy.eval_handler = ASTNode$DepGraphNode.createAttrHandler(eval_handler, copy);
}
}
/** @apilevel internal
* @declaredat ASTNode:75
*/
public void reactToDependencyChange(String attrID, Object _parameters) {
super.reactToDependencyChange(attrID, _parameters);
}
/**
* @declaredat ASTNode:82
*/
private boolean inc_throwAway_visited = false;
/** @apilevel internal
* @declaredat ASTNode:84
*/
public void inc_throwAway() {
if (inc_throwAway_visited) {
return;
}
inc_throwAway_visited = true;
inc_state = inc_GARBAGE;
super.inc_throwAway();
inc_throwAway_visited = false;
}
/**
* @declaredat ASTNode:93
*/
private boolean inc_cleanupListeners_visited = false;
/**
* @declaredat ASTNode:94
*/
public void cleanupListeners() {
if (inc_cleanupListeners_visited) {
return;
}
inc_cleanupListeners_visited = true;
super.cleanupListeners();
inc_cleanupListeners_visited = false;
}
/**
* @declaredat ASTNode:102
*/
private boolean inc_cleanupListenersInTree_visited = false;
/**
* @declaredat ASTNode:103
*/
public void cleanupListenersInTree() {
if (inc_cleanupListenersInTree_visited) {
return;
}
inc_cleanupListenersInTree_visited = true;
cleanupListeners();
for (int i = 0; children != null && i < children.length; i++) {
ASTNode child = children[i];
if (child == null) {
continue;
}
child.cleanupListenersInTree();
}
inc_cleanupListenersInTree_visited = false;
}
/**
* @attribute syn
* @aspect Connectives
* @declaredat E:\\project\\20211201\\src\\main\\jastadd\\hanoi\\Constraints.jrag:3
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Connectives", declaredAt="E:\\project\\20211201\\src\\main\\jastadd\\hanoi\\Constraints.jrag:3")
public abstract boolean eval();
/** @apilevel internal */
public ASTNode rewriteTo() {
return super.rewriteTo();
}
/** @apilevel internal */
public boolean canRewrite() {
return false;
}
}