@Override public PType caseABracketedExpressionTraceCoreDefinition( ABracketedExpressionTraceCoreDefinition node, TypeCheckInfo question) throws AnalysisException { for (ATraceDefinitionTerm term : node.getTerms()) { for (PTraceDefinition def : term.getList()) { def.apply(THIS, question); } } return null; }
public void typeCheck(List<PTraceDefinition> term, IQuestionAnswer<TypeCheckInfo, PType> rootVisitor, TypeCheckInfo question) throws AnalysisException { for (PTraceDefinition def : term) { def.apply(rootVisitor, question); } }
public PType defaultPTraceCoreDefinition(PTraceCoreDefinition node, TypeCheckInfo question) throws AnalysisException { return node.apply(tcDefinition, question); }
/** * Returns a deep clone of this {@link AApplyExpressionTraceCoreDefinition} node. * @return a deep clone of this {@link AApplyExpressionTraceCoreDefinition} node */ public AApplyExpressionTraceCoreDefinition clone() { return new AApplyExpressionTraceCoreDefinition( _location, cloneNode(_callStatement), _currentModule ); }
/** * Returns a deep clone of this {@link ABracketedExpressionTraceCoreDefinition} node. * @return a deep clone of this {@link ABracketedExpressionTraceCoreDefinition} node */ public ABracketedExpressionTraceCoreDefinition clone() { return new ABracketedExpressionTraceCoreDefinition( _location, cloneList(_terms) ); }
/** * Returns a deep clone of this {@link AConcurrentExpressionTraceCoreDefinition} node. * @return a deep clone of this {@link AConcurrentExpressionTraceCoreDefinition} node */ public AConcurrentExpressionTraceCoreDefinition clone() { return new AConcurrentExpressionTraceCoreDefinition( _location, cloneList(_defs) ); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
public static ARepeatTraceDefinition newARepeatTraceDefinition( ILexLocation location, PTraceCoreDefinition core, long from, long to) { return new ARepeatTraceDefinition(location, core, from, to); }
public static ABracketedExpressionTraceCoreDefinition newABracketedExpressionTraceCoreDefinition( ILexLocation location, List<ATraceDefinitionTerm> list) { return new ABracketedExpressionTraceCoreDefinition(location, list); }
/** * Creates a new complete constructor {@code ABracketedExpressionTraceCoreDefinition} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param terms_ the {@link NodeList} node for the {@code terms} child of this {@link ABracketedExpressionTraceCoreDefinition} node */ public ABracketedExpressionTraceCoreDefinition(ILexLocation location_, List<? extends ATraceDefinitionTerm> terms_) { super(location_); this.setTerms(terms_); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
public static ALetDefBindingTraceDefinition newALetDefBindingTraceDefinition( ILexLocation location, List<AValueDefinition> localDefs, PTraceDefinition body) { return new ALetDefBindingTraceDefinition(location, localDefs, body); }
@Override public ILexLocation defaultPTraceDefinition(PTraceDefinition node) throws AnalysisException { return node.getLocation(); }
@Override public ILexLocation defaultPTraceCoreDefinition(PTraceCoreDefinition node) throws AnalysisException { return node.getLocation(); }
public static AConcurrentExpressionTraceCoreDefinition newAConcurrentExpressionTraceCoreDefinition( ILexLocation location, List<PTraceDefinition> defs) { return new AConcurrentExpressionTraceCoreDefinition(location, defs); }
/** * Creates a new complete constructor {@code PTraceCoreDefinitionBase} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param location_ the {@link ILexLocation} node for the {@code location} child of this {@link PTraceCoreDefinitionBase} node */ public PTraceCoreDefinitionBase(ILexLocation location_) { super(); this.setLocation(location_); }
public PType defaultPTraceDefinition(PTraceDefinition node, TypeCheckInfo question) throws AnalysisException { return node.apply(tcDefinition, question); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }