/** Print all NFA states plus what alts they predict */ @Override public String toString() { StringBuilder buf = new StringBuilder(); buf.append(stateNumber).append(":{"); for (int i = 0; i < nfaConfigurations.size(); i++) { NFAConfiguration configuration = nfaConfigurations.get(i); if ( i>0 ) { buf.append(", "); } buf.append(configuration); } buf.append("}"); return buf.toString(); }
/** Print all NFA states plus what alts they predict */ public String toString() { StringBuffer buf = new StringBuffer(); buf.append(stateNumber+":{"); for (int i = 0; i < nfaConfigurations.size(); i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); if ( i>0 ) { buf.append(", "); } buf.append(configuration); } buf.append("}"); return buf.toString(); }
/** Print all NFA states plus what alts they predict */ public String toString() { StringBuffer buf = new StringBuffer(); buf.append(stateNumber+":{"); for (int i = 0; i < nfaConfigurations.size(); i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); if ( i>0 ) { buf.append(", "); } buf.append(configuration); } buf.append("}"); return buf.toString(); }
/** Print all NFA states plus what alts they predict */ @Override public String toString() { StringBuilder buf = new StringBuilder(); buf.append(stateNumber).append(":{"); for (int i = 0; i < nfaConfigurations.size(); i++) { NFAConfiguration configuration = nfaConfigurations.get(i); if ( i>0 ) { buf.append(", "); } buf.append(configuration); } buf.append("}"); return buf.toString(); }
/** Return the uniquely mentioned alt from the NFA configurations; * Ignore the resolved bit etc... Return INVALID_ALT_NUMBER * if there is more than one alt mentioned. */ public int getUniqueAlt() { int alt = NFA.INVALID_ALT_NUMBER; int numConfigs = nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); if ( alt==NFA.INVALID_ALT_NUMBER ) { alt = configuration.alt; // found first alt } else if ( configuration.alt!=alt ) { return NFA.INVALID_ALT_NUMBER; } } return alt; }
/** Return the uniquely mentioned alt from the NFA configurations; * Ignore the resolved bit etc... Return INVALID_ALT_NUMBER * if there is more than one alt mentioned. */ public int getUniqueAlt() { int alt = NFA.INVALID_ALT_NUMBER; int numConfigs = nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = nfaConfigurations.get(i); if ( alt==NFA.INVALID_ALT_NUMBER ) { alt = configuration.alt; // found first alt } else if ( configuration.alt!=alt ) { return NFA.INVALID_ALT_NUMBER; } } return alt; }
/** Return the uniquely mentioned alt from the NFA configurations; * Ignore the resolved bit etc... Return INVALID_ALT_NUMBER * if there is more than one alt mentioned. */ public int getUniqueAlt() { int alt = NFA.INVALID_ALT_NUMBER; int numConfigs = nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = nfaConfigurations.get(i); if ( alt==NFA.INVALID_ALT_NUMBER ) { alt = configuration.alt; // found first alt } else if ( configuration.alt!=alt ) { return NFA.INVALID_ALT_NUMBER; } } return alt; }
/** Return the uniquely mentioned alt from the NFA configurations; * Ignore the resolved bit etc... Return INVALID_ALT_NUMBER * if there is more than one alt mentioned. */ public int getUniqueAlt() { int alt = NFA.INVALID_ALT_NUMBER; int numConfigs = nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); if ( alt==NFA.INVALID_ALT_NUMBER ) { alt = configuration.alt; // found first alt } else if ( configuration.alt!=alt ) { return NFA.INVALID_ALT_NUMBER; } } return alt; }
/** Get the set of all alts mentioned by all NFA configurations in this * DFA state. */ public Set<Integer> getAltSet() { int numConfigs = nfaConfigurations.size(); Set<Integer> alts = new HashSet<Integer>(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = nfaConfigurations.get(i); alts.add(Utils.integer(configuration.alt)); } if ( alts.isEmpty() ) { return null; } return alts; }
/** Get the set of all alts mentioned by all NFA configurations in this * DFA state. */ public Set getAltSet() { int numConfigs = nfaConfigurations.size(); Set alts = new HashSet(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); alts.add(Utils.integer(configuration.alt)); } if ( alts.size()==0 ) { return null; } return alts; }
/** Get the set of all alts mentioned by all NFA configurations in this * DFA state. */ public Set getAltSet() { int numConfigs = nfaConfigurations.size(); Set alts = new HashSet(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); alts.add(Utils.integer(configuration.alt)); } if ( alts.size()==0 ) { return null; } return alts; }
/** Get the set of all alts mentioned by all NFA configurations in this * DFA state. */ public Set<Integer> getAltSet() { int numConfigs = nfaConfigurations.size(); Set<Integer> alts = new HashSet<Integer>(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = nfaConfigurations.get(i); alts.add(Utils.integer(configuration.alt)); } if ( alts.isEmpty() ) { return null; } return alts; }
/** turn off all states associated with alts other than the good one * (as long as they are one of the nondeterministic ones) */ protected static void turnOffOtherAlts(DFAState d, int min, Set<Integer> nondeterministicAlts) { int numConfigs = d.nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = d.nfaConfigurations.get(i); if ( configuration.alt!=min ) { if ( nondeterministicAlts==null || nondeterministicAlts.contains(Utils.integer(configuration.alt)) ) { configuration.resolved = true; } } } }
/** turn off all states associated with alts other than the good one * (as long as they are one of the nondeterministic ones) */ protected static void turnOffOtherAlts(DFAState d, int min, Set<Integer> nondeterministicAlts) { int numConfigs = d.nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = d.nfaConfigurations.get(i); if ( configuration.alt!=min ) { if ( nondeterministicAlts==null || nondeterministicAlts.contains(Utils.integer(configuration.alt)) ) { configuration.resolved = true; } } } }
/** turn off all states associated with alts other than the good one * (as long as they are one of the nondeterministic ones) */ protected static void turnOffOtherAlts(DFAState d, int min, Set<Integer> nondeterministicAlts) { int numConfigs = d.nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration)d.nfaConfigurations.get(i); if ( configuration.alt!=min ) { if ( nondeterministicAlts==null || nondeterministicAlts.contains(Utils.integer(configuration.alt)) ) { configuration.resolved = true; } } } }
/** turn off all states associated with alts other than the good one * (as long as they are one of the nondeterministic ones) */ protected static void turnOffOtherAlts(DFAState d, int min, Set<Integer> nondeterministicAlts) { int numConfigs = d.nfaConfigurations.size(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration)d.nfaConfigurations.get(i); if ( configuration.alt!=min ) { if ( nondeterministicAlts==null || nondeterministicAlts.contains(Utils.integer(configuration.alt)) ) { configuration.resolved = true; } } } }
public Set<? extends SemanticContext> getGatedSyntacticPredicatesInNFAConfigurations() { int numConfigs = nfaConfigurations.size(); Set<SemanticContext> synpreds = new HashSet<SemanticContext>(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = nfaConfigurations.get(i); SemanticContext gatedPredExpr = configuration.semanticContext.getGatedPredicateContext(); // if this is a manual syn pred (gated and syn pred), add if ( gatedPredExpr!=null && configuration.semanticContext.isSyntacticPredicate() ) { synpreds.add(configuration.semanticContext); } } if ( synpreds.isEmpty() ) { return null; } return synpreds; }
public Set<? extends SemanticContext> getGatedSyntacticPredicatesInNFAConfigurations() { int numConfigs = nfaConfigurations.size(); Set<SemanticContext> synpreds = new HashSet<SemanticContext>(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = nfaConfigurations.get(i); SemanticContext gatedPredExpr = configuration.semanticContext.getGatedPredicateContext(); // if this is a manual syn pred (gated and syn pred), add if ( gatedPredExpr!=null && configuration.semanticContext.isSyntacticPredicate() ) { synpreds.add(configuration.semanticContext); } } if ( synpreds.isEmpty() ) { return null; } return synpreds; }
public Set getGatedSyntacticPredicatesInNFAConfigurations() { int numConfigs = nfaConfigurations.size(); Set<SemanticContext> synpreds = new HashSet<SemanticContext>(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); SemanticContext gatedPredExpr = configuration.semanticContext.getGatedPredicateContext(); // if this is a manual syn pred (gated and syn pred), add if ( gatedPredExpr!=null && configuration.semanticContext.isSyntacticPredicate() ) { synpreds.add(configuration.semanticContext); } } if ( synpreds.size()==0 ) { return null; } return synpreds; }
public Set getGatedSyntacticPredicatesInNFAConfigurations() { int numConfigs = nfaConfigurations.size(); Set<SemanticContext> synpreds = new HashSet<SemanticContext>(); for (int i = 0; i < numConfigs; i++) { NFAConfiguration configuration = (NFAConfiguration) nfaConfigurations.get(i); SemanticContext gatedPredExpr = configuration.semanticContext.getGatedPredicateContext(); // if this is a manual syn pred (gated and syn pred), add if ( gatedPredExpr!=null && configuration.semanticContext.isSyntacticPredicate() ) { synpreds.add(configuration.semanticContext); } } if ( synpreds.size()==0 ) { return null; } return synpreds; }