Package dk.brics.string.charset

Examples of dk.brics.string.charset.CharSet

155
156
157
158
159
160
161
162
163
164
165
     * assuming that its successors have been processed.
     */
    private void findCharsets(Component c) {
        // reset charsets
        for (Nonterminal n : c.getNodes()) {
            charsets[n.getKey()] = new CharSet();
        }
        // fixpoint iteration, within this component
        TreeSet<Nonterminal> worklist = new TreeSet<Nonterminal>(c.getNodes());
        while (!worklist.isEmpty()) {
            Nonterminal n = worklist.first();
View Full Code Here
183
184
185
186
187
188
189
190
191
192
        CharSetTransferVisitor ctv = new CharSetTransferVisitor();
        for (Production p : n.getProductions()) {
            p.visitBy(null, ctv);
            c.add(ctv.c);
        }
        CharSet newset = CharSet.union(c);
        boolean changed = !newset.equals(charsets[n.getKey()]);
        charsets[n.getKey()] = newset;
        return changed;
    }
View Full Code Here
241
242
243
244
245
246
247
    class CharSetTransferVisitor implements ProductionVisitor {

        CharSet c;

        public void visitAutomatonProduction(Nonterminal a, AutomatonProduction p) {
            c = new CharSet(p.getAutomaton());
        }
View Full Code Here
251
252
253
254
255
256
257
                    charsets[p.getNonterminal1().getKey()],
                    charsets[p.getNonterminal2().getKey()]);
        }

        public void visitEpsilonProduction(Nonterminal a, EpsilonProduction p) {
            c = new CharSet();
        }
View Full Code Here
16
17
18
19
20
21
22
23
24
25
26
27
    private static final char FALSE = (char)0;
    private static final char TRUE = (char)1;
   
    @Override
    public CharSet charsetTransfer(CharSet a) {
        CharSet s = new CharSet();
        if (a.contains(FALSE))
            s = s.add(FALSE);
        if (a.contains(TRUE))
            s = s.add(TRUE);
        return s;
    }
View Full Code Here
140
141
142
143
144
145
146
147
148
    public static CharSet getBinaryBooleanCharSet() {
        return binaryBooleanCharset;
    }
   
    public static CharSet makeBinaryBooleanCharSet(boolean b) {
        CharSet ch = new CharSet();
        ch.add(b ? BINARY_TRUE : BINARY_FALSE);
        return ch;
    }
View Full Code Here
11
12
13
14
15
16
17
    this.automaton = automaton;
  }
 
  @Override
  public CharSet charsetTransfer(CharSet a) {
    return a.intersection(new CharSet(automaton));
  }
View Full Code Here
TOP

Related Classes of dk.brics.string.charset.CharSet

  • dk.brics.automaton.Automaton
  • dk.brics.automaton.State
  • dk.brics.automaton.Transition
  • dk.brics.string.grammar.operations.OperationCycleApproximation
  • dk.brics.string.grammar.operations.OperationCycleApproximation$CharSetTransferVisitor
  • dk.brics.string.stringoperations.AssertInLanguage
  • dk.brics.string.stringoperations.Basic
  • dk.brics.string.stringoperations.BooleanToString
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.