yale.compiler.compiler.0.9.4.source-code.CSSEmitter.tmp Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of compiler Show documentation
Show all versions of compiler Show documentation
The Apache Royale Compiler
/* Generated Tue Nov 13 22:48:16 PST 2018 by JBurg version Set in build.properties */
package org.apache.royale.compiler.internal.css.codegen;
import static org.apache.royale.abc.ABCConstants.*;
import static org.apache.royale.compiler.internal.css.CSSModelTreeType.*;
import org.apache.royale.compiler.css.*;
import org.apache.royale.compiler.internal.css.*;
import org.apache.royale.abc.semantics.*;
import org.apache.royale.abc.instructionlist.InstructionList;
import org.apache.royale.compiler.internal.css.codegen.Pair.*;
@SuppressWarnings({"rawtypes", "unchecked", "unused"})
public class CSSEmitter
{
java.util.Stack __reducedValues = new java.util.Stack();
public CSSEmitter(final CSSReducer reducer)
{
this.reducer = reducer;
}
private final CSSReducer reducer;
public static final int __selectorGroup_NT = 1;
public static final int __propertyList_NT = 2;
public static final int __document_NT = 3;
public static final int __ruleList_NT = 4;
public static final int __fontFace_NT = 5;
public static final int __rule_NT = 6;
public static final int __mediaQueryCondition_NT = 7;
public static final int __namespaceDefinition_NT = 8;
public static final int __namespaceList_NT = 9;
public static final int __property_NT = 10;
public static final int __selector_NT = 11;
public static final int __fontFaceList_NT = 12;
public static final int __mediaQuery_NT = 13;
public static final int nStates = 13;
private static final JBurgSubgoal[][] ___subgoals_by_rule =
{
null,
{
new JBurgSubgoal(__namespaceList_NT,false,0,0),
new JBurgSubgoal(__fontFaceList_NT,false,0,1),
new JBurgSubgoal(__ruleList_NT,false,0,2),
},
null,
{
new JBurgSubgoal(__fontFace_NT,true,0),
},
{
new JBurgSubgoal(__mediaQueryCondition_NT,true,0),
},
null,
null,
{
new JBurgSubgoal(__namespaceDefinition_NT,true,0),
},
null,
{
new JBurgSubgoal(__property_NT,true,0),
},
{
new JBurgSubgoal(__selectorGroup_NT,false,0,0),
new JBurgSubgoal(__mediaQuery_NT,false,0,1),
new JBurgSubgoal(__propertyList_NT,false,0,2),
},
{
new JBurgSubgoal(__rule_NT,true,0),
},
null,
{
new JBurgSubgoal(__selector_NT,true,0),
},
};
public JBurgAnnotation label( ICSSNode to_be_labelled)
{
JBurgAnnotation result = null;
int i;
int arity;
result = this.getJBurgAnnotation(to_be_labelled);
arity = to_be_labelled.getArity();
i = 0;
while ( ( arity > i ) )
{
result.addChild(this.label(((ICSSNode)to_be_labelled.getNthChild(i))));
i = (i + 1) ;
}
return(result);
}
/* document = DOCUMENT(namespaceList, fontFaceList, ruleList) */
private PairOfInstructionLists action_1( ICSSNode __p) throws java.lang.Exception
{
PairOfInstructionLists ruleList = (PairOfInstructionLists)__reducedValues.pop();
PairOfInstructionLists fontFaceList = (PairOfInstructionLists)__reducedValues.pop();
PairOfInstructionLists namespaceList = (PairOfInstructionLists)__reducedValues.pop();
return reducer.reduceDocument(__p,namespaceList,ruleList);
}
/* fontFace = FONT_FACE(void) */
private PairOfInstructionLists action_2( ICSSNode __p) throws java.lang.Exception
{
return reducer.reduceFontFace(__p);
}
/* fontFaceList = FONT_FACE_LIST(fontFace*) */
private PairOfInstructionLists action_3( ICSSNode __p) throws java.lang.Exception
{
java.util.Vector fontFaces = (java.util.Vector)__reducedValues.pop();
return reducer.reduceFontFaceList(__p,fontFaces);
}
/* mediaQuery = MEDIA_QUERY(mediaQueryCondition*) */
private PairOfInstructionLists action_4( ICSSNode __p) throws java.lang.Exception
{
java.util.Vector conditions = (java.util.Vector)__reducedValues.pop();
return reducer.reduceMediaQuery(__p,conditions);
}
/* mediaQueryCondition = MEDIA_QUERY_CONDITION(void) */
private PairOfInstructionLists action_5( ICSSNode __p) throws java.lang.Exception
{
return reducer.reduceMediaQueryCondition(__p);
}
/* namespaceDefinition = NAMESPACE_DEFINITION(void) */
private PairOfInstructionLists action_6( ICSSNode __p) throws java.lang.Exception
{
return reducer.reduceNamespaceDefinition(__p);
}
/* namespaceList = NAMESPACE_LIST(namespaceDefinition*) */
private PairOfInstructionLists action_7( ICSSNode __p) throws java.lang.Exception
{
java.util.Vector namespaces = (java.util.Vector)__reducedValues.pop();
return reducer.reduceNamespaceList(__p,namespaces);
}
/* property = PROPERTY(void) */
private PairOfInstructionLists action_8( ICSSNode __p) throws java.lang.Exception
{
return reducer.reduceProperty(__p);
}
/* propertyList = PROPERTY_LIST(property*) */
private PairOfInstructionLists action_9( ICSSNode __p) throws java.lang.Exception
{
java.util.Vector properties = (java.util.Vector)__reducedValues.pop();
return reducer.reducePropertyList(__p,properties);
}
/* rule = RULE(selectorGroup, mediaQuery, propertyList) */
private InstructionListAndClosure action_10( ICSSNode __p) throws java.lang.Exception
{
PairOfInstructionLists propertyList = (PairOfInstructionLists)__reducedValues.pop();
PairOfInstructionLists mediaQuery = (PairOfInstructionLists)__reducedValues.pop();
InstructionListAndClosure selectorGroup = (InstructionListAndClosure)__reducedValues.pop();
return reducer.reduceRule(__p,selectorGroup,propertyList);
}
/* ruleList = RULE_LIST(rule*) */
private PairOfInstructionLists action_11( ICSSNode __p) throws java.lang.Exception
{
java.util.Vector rules = (java.util.Vector)__reducedValues.pop();
return reducer.reduceRuleList(__p,rules);
}
/* selector = SELECTOR(void) */
private InstructionListAndString action_12( ICSSNode __p) throws java.lang.Exception
{
return reducer.reduceSelector(__p);
}
/* selectorGroup = SELECTOR_GROUP(selector*) */
private InstructionListAndClosure action_13( ICSSNode __p) throws java.lang.Exception
{
java.util.Vector selectors = (java.util.Vector)__reducedValues.pop();
return reducer.reduceSelectorGroup(__p,selectors);
}
private void dispatchAction( JBurgAnnotation ___node, int iRule) throws java.lang.Exception
{
ICSSNode __p = ___node.getNode();
switch( iRule )
{
case 1:
{
__reducedValues.push(this.action_1(__p));
break;
}
case 2:
{
__reducedValues.push(this.action_2(__p));
break;
}
case 3:
{
__reducedValues.push(this.action_3(__p));
break;
}
case 4:
{
__reducedValues.push(this.action_4(__p));
break;
}
case 5:
{
__reducedValues.push(this.action_5(__p));
break;
}
case 6:
{
__reducedValues.push(this.action_6(__p));
break;
}
case 7:
{
__reducedValues.push(this.action_7(__p));
break;
}
case 8:
{
__reducedValues.push(this.action_8(__p));
break;
}
case 9:
{
__reducedValues.push(this.action_9(__p));
break;
}
case 10:
{
__reducedValues.push(this.action_10(__p));
break;
}
case 11:
{
__reducedValues.push(this.action_11(__p));
break;
}
case 12:
{
__reducedValues.push(this.action_12(__p));
break;
}
case 13:
{
__reducedValues.push(this.action_13(__p));
break;
}
default:
{
throw new IllegalStateException("Unmatched reduce action " + iRule);
}
}
}
class JBurgAnnotation_DOCUMENT_3 extends JBurgSpecializedAnnotation
{
private JBurgAnnotation subtree0;
private JBurgAnnotation subtree1;
private JBurgAnnotation subtree2;
JBurgAnnotation_DOCUMENT_3(ICSSNode node)
{
super(node);
}
private int cachedCostFor_document = -1;
public int getCost( int goalState)
{
switch( goalState )
{
case __document_NT:
{
if ( cachedCostFor_document == -1 )
{
cachedCostFor_document = getCostForRule_6faecb58(goalState);
}
return(cachedCostFor_document);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __document_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = getCostForRule_6faecb58(goalState);
if ( ( bestCost > currentCost ) )
{
rule = 1;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(3);
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
case 0:
return subtree0;
case 1:
return subtree1;
case 2:
return subtree2;
default:
{
throw new IllegalStateException("Invalid index " + index);
}
}
}
public void addChild( JBurgAnnotation child)
{
if ( subtree0 == null )
subtree0 = child;
else if ( subtree1 == null )
subtree1 = child;
else if ( subtree2 == null )
subtree2 = child;
else
throw new IllegalStateException("too many children");
}
private int getCostForRule_6faecb58( int goalState)
{
return(normalizeCost((long)1 + (long) ( (((long)this.getNthChild(2).getCost(__ruleList_NT)) + ((long)this.getNthChild(1).getCost(__fontFaceList_NT))) + ((long)this.getNthChild(0).getCost(__namespaceList_NT))) ));
}
}
class JBurgAnnotation_FONT_FACE_0 extends JBurgSpecializedAnnotation
{
JBurgAnnotation_FONT_FACE_0(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __fontFace_NT:
{
return(1);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __fontFace_NT:
{
return(2);
}
}
return(-1);
}
public int getArity( )
{
return(0);
}
}
class JBurgAnnotation_FONT_FACE_LIST_0_n extends JBurgSpecializedAnnotation
{
private java.util.Vector narySubtrees = new java.util.Vector();
JBurgAnnotation_FONT_FACE_LIST_0_n(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __fontFaceList_NT:
{
return(normalizeCost((long)1 + (long)((long)getNaryCost(this, __fontFace_NT, 0))));
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __fontFaceList_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = normalizeCost((long)1 + (long)((long)getNaryCost(this, __fontFace_NT, 0)));
if ( ( bestCost > currentCost ) )
{
rule = 3;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(narySubtrees.size());
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
default:
{
return narySubtrees.get(index);
}
}
}
public void addChild( JBurgAnnotation child)
{
narySubtrees.add(child);
}
}
class JBurgAnnotation_MEDIA_QUERY_0_n extends JBurgSpecializedAnnotation
{
private java.util.Vector narySubtrees = new java.util.Vector();
JBurgAnnotation_MEDIA_QUERY_0_n(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __mediaQuery_NT:
{
return(normalizeCost((long)1 + (long)((long)getNaryCost(this, __mediaQueryCondition_NT, 0))));
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __mediaQuery_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = normalizeCost((long)1 + (long)((long)getNaryCost(this, __mediaQueryCondition_NT, 0)));
if ( ( bestCost > currentCost ) )
{
rule = 4;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(narySubtrees.size());
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
default:
{
return narySubtrees.get(index);
}
}
}
public void addChild( JBurgAnnotation child)
{
narySubtrees.add(child);
}
}
class JBurgAnnotation_MEDIA_QUERY_CONDITION_0 extends JBurgSpecializedAnnotation
{
JBurgAnnotation_MEDIA_QUERY_CONDITION_0(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __mediaQueryCondition_NT:
{
return(1);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __mediaQueryCondition_NT:
{
return(5);
}
}
return(-1);
}
public int getArity( )
{
return(0);
}
}
class JBurgAnnotation_NAMESPACE_DEFINITION_0 extends JBurgSpecializedAnnotation
{
JBurgAnnotation_NAMESPACE_DEFINITION_0(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __namespaceDefinition_NT:
{
return(1);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __namespaceDefinition_NT:
{
return(6);
}
}
return(-1);
}
public int getArity( )
{
return(0);
}
}
class JBurgAnnotation_NAMESPACE_LIST_0_n extends JBurgSpecializedAnnotation
{
private java.util.Vector narySubtrees = new java.util.Vector();
JBurgAnnotation_NAMESPACE_LIST_0_n(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __namespaceList_NT:
{
return(normalizeCost((long)1 + (long)((long)getNaryCost(this, __namespaceDefinition_NT, 0))));
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __namespaceList_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = normalizeCost((long)1 + (long)((long)getNaryCost(this, __namespaceDefinition_NT, 0)));
if ( ( bestCost > currentCost ) )
{
rule = 7;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(narySubtrees.size());
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
default:
{
return narySubtrees.get(index);
}
}
}
public void addChild( JBurgAnnotation child)
{
narySubtrees.add(child);
}
}
class JBurgAnnotation_PROPERTY_0 extends JBurgSpecializedAnnotation
{
JBurgAnnotation_PROPERTY_0(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __property_NT:
{
return(1);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __property_NT:
{
return(8);
}
}
return(-1);
}
public int getArity( )
{
return(0);
}
}
class JBurgAnnotation_PROPERTY_LIST_0_n extends JBurgSpecializedAnnotation
{
private java.util.Vector narySubtrees = new java.util.Vector();
JBurgAnnotation_PROPERTY_LIST_0_n(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __propertyList_NT:
{
return(normalizeCost((long)1 + (long)((long)getNaryCost(this, __property_NT, 0))));
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __propertyList_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = normalizeCost((long)1 + (long)((long)getNaryCost(this, __property_NT, 0)));
if ( ( bestCost > currentCost ) )
{
rule = 9;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(narySubtrees.size());
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
default:
{
return narySubtrees.get(index);
}
}
}
public void addChild( JBurgAnnotation child)
{
narySubtrees.add(child);
}
}
class JBurgAnnotation_RULE_3 extends JBurgSpecializedAnnotation
{
private JBurgAnnotation subtree0;
private JBurgAnnotation subtree1;
private JBurgAnnotation subtree2;
JBurgAnnotation_RULE_3(ICSSNode node)
{
super(node);
}
private int cachedCostFor_rule = -1;
public int getCost( int goalState)
{
switch( goalState )
{
case __rule_NT:
{
if ( cachedCostFor_rule == -1 )
{
cachedCostFor_rule = getCostForRule_40edd65c(goalState);
}
return(cachedCostFor_rule);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __rule_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = getCostForRule_40edd65c(goalState);
if ( ( bestCost > currentCost ) )
{
rule = 10;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(3);
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
case 0:
return subtree0;
case 1:
return subtree1;
case 2:
return subtree2;
default:
{
throw new IllegalStateException("Invalid index " + index);
}
}
}
public void addChild( JBurgAnnotation child)
{
if ( subtree0 == null )
subtree0 = child;
else if ( subtree1 == null )
subtree1 = child;
else if ( subtree2 == null )
subtree2 = child;
else
throw new IllegalStateException("too many children");
}
private int getCostForRule_40edd65c( int goalState)
{
return(normalizeCost((long)1 + (long) ( (((long)this.getNthChild(2).getCost(__propertyList_NT)) + ((long)this.getNthChild(1).getCost(__mediaQuery_NT))) + ((long)this.getNthChild(0).getCost(__selectorGroup_NT))) ));
}
}
class JBurgAnnotation_RULE_LIST_0_n extends JBurgSpecializedAnnotation
{
private java.util.Vector narySubtrees = new java.util.Vector();
JBurgAnnotation_RULE_LIST_0_n(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __ruleList_NT:
{
return(normalizeCost((long)1 + (long)((long)getNaryCost(this, __rule_NT, 0))));
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __ruleList_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = normalizeCost((long)1 + (long)((long)getNaryCost(this, __rule_NT, 0)));
if ( ( bestCost > currentCost ) )
{
rule = 11;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(narySubtrees.size());
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
default:
{
return narySubtrees.get(index);
}
}
}
public void addChild( JBurgAnnotation child)
{
narySubtrees.add(child);
}
}
class JBurgAnnotation_SELECTOR_0 extends JBurgSpecializedAnnotation
{
JBurgAnnotation_SELECTOR_0(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __selector_NT:
{
return(1);
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __selector_NT:
{
return(12);
}
}
return(-1);
}
public int getArity( )
{
return(0);
}
}
class JBurgAnnotation_SELECTOR_GROUP_0_n extends JBurgSpecializedAnnotation
{
private java.util.Vector narySubtrees = new java.util.Vector();
JBurgAnnotation_SELECTOR_GROUP_0_n(ICSSNode node)
{
super(node);
}
public int getCost( int goalState)
{
switch( goalState )
{
case __selectorGroup_NT:
{
return(normalizeCost((long)1 + (long)((long)getNaryCost(this, __selector_NT, 0))));
}
}
return(Integer.MAX_VALUE);
}
public int getRule( int goalState)
{
switch( goalState )
{
case __selectorGroup_NT:
{
int rule = -1;
int bestCost = Integer.MAX_VALUE;
int currentCost = normalizeCost((long)1 + (long)((long)getNaryCost(this, __selector_NT, 0)));
if ( ( bestCost > currentCost ) )
{
rule = 13;
}
return(rule);
}
}
return(-1);
}
public int getArity( )
{
return(narySubtrees.size());
}
public JBurgAnnotation getNthChild( int index)
{
switch( index )
{
default:
{
return narySubtrees.get(index);
}
}
}
public void addChild( JBurgAnnotation child)
{
narySubtrees.add(child);
}
}
public JBurgAnnotation getJBurgAnnotation( ICSSNode node)
{
switch( node.getOperator() )
{
case DOCUMENT:
{
if ( node.getArity() == 3 )
return(new JBurgAnnotation_DOCUMENT_3(node));
break;
}
case FONT_FACE:
{
if ( node.getArity() == 0 )
return(new JBurgAnnotation_FONT_FACE_0(node));
break;
}
case FONT_FACE_LIST:
{
if ( node.getArity() >= 0 )
return(new JBurgAnnotation_FONT_FACE_LIST_0_n(node));
break;
}
case MEDIA_QUERY:
{
if ( node.getArity() >= 0 )
return(new JBurgAnnotation_MEDIA_QUERY_0_n(node));
break;
}
case MEDIA_QUERY_CONDITION:
{
if ( node.getArity() == 0 )
return(new JBurgAnnotation_MEDIA_QUERY_CONDITION_0(node));
break;
}
case NAMESPACE_DEFINITION:
{
if ( node.getArity() == 0 )
return(new JBurgAnnotation_NAMESPACE_DEFINITION_0(node));
break;
}
case NAMESPACE_LIST:
{
if ( node.getArity() >= 0 )
return(new JBurgAnnotation_NAMESPACE_LIST_0_n(node));
break;
}
case PROPERTY:
{
if ( node.getArity() == 0 )
return(new JBurgAnnotation_PROPERTY_0(node));
break;
}
case PROPERTY_LIST:
{
if ( node.getArity() >= 0 )
return(new JBurgAnnotation_PROPERTY_LIST_0_n(node));
break;
}
case RULE:
{
if ( node.getArity() == 3 )
return(new JBurgAnnotation_RULE_3(node));
break;
}
case RULE_LIST:
{
if ( node.getArity() >= 0 )
return(new JBurgAnnotation_RULE_LIST_0_n(node));
break;
}
case SELECTOR:
{
if ( node.getArity() == 0 )
return(new JBurgAnnotation_SELECTOR_0(node));
break;
}
case SELECTOR_GROUP:
{
if ( node.getArity() >= 0 )
return(new JBurgAnnotation_SELECTOR_GROUP_0_n(node));
break;
}
}
return new JBurgAnnotationGeneral(node, nStates+1);
}
public void reduce( JBurgAnnotation p, int goalState) throws java.lang.Exception
{
reduceAntecedent(p,goalState);
/* Release the annotation's data. */
p.release();
}
public void reduceAntecedent( JBurgAnnotation p, int goalState) throws java.lang.Exception
{int iRule = -1;
if ( ( goalState > 0 ) )
{iRule = p.getRule(goalState);
}
else
{
/* Find the minimum-cost path. */int minCost = Integer.MAX_VALUE;int i;for( i = 0;i <= nStates;i++ )
{
if ( ( minCost > p.getCost(i) ) )
{iRule = p.getRule(i);minCost = p.getCost(i);goalState = i;
}
}
}
if ( ( iRule > 0 ) )
{
reduceSubgoals(p, iRule);
dispatchAction(p, iRule );
}
else
{
throw new IllegalStateException ( "Unable to find a rule to process \"" + p.toString() + "\", operator="+ String.valueOf(p.getOperator()) + ", goal=" + String.valueOf(goalState) );
}
}
private void reduceSubgoals( JBurgAnnotation p, int rule_num) throws java.lang.Exception
{
if ( ___subgoals_by_rule[rule_num] != null )
{
for ( JBurgSubgoal sg : ___subgoals_by_rule[rule_num] )
{
if ( !sg.isNary() )
{
reduce ( sg.getNode(p), sg.getGoalState());
}
else
{
/* Aggregate the operands of an n-ary operator into a single container. */
JBurgAnnotation sub_parent = sg.getNode(p);
java.util.Vector