Package fasp.parser.tokenizer

Examples of fasp.parser.tokenizer.TokenState

270
271
272
273
274
275
276
277
278
    return new GroundRegularRule(head, bodyElts, bodyOp);
  }

  // Parse the result of the CSP solver
  public static GroundLiteral parseLiteral(String str) throws Exception {
    NonGroundLiteral lit = new LiteralParser().parse(new TokenState(str));
    Map<FaspVariable, FaspConstant> constMap = new HashMap<FaspVariable, FaspConstant>();
    return lit.ground(constMap);
  }
View Full Code Here
170
171
172
173
174
175
176
177
178
    return new GroundRegularRule(head, bodyElts, bodyOp);
  }

  // Parse the result of the CSP solver
  public static GroundLiteral parseLiteral(String str) throws Exception {
    NonGroundLiteral lit = new LiteralParser().parse(new TokenState(str));
    Map<FaspVariable, FaspConstant> constMap = new HashMap<FaspVariable, FaspConstant>();
    return lit.ground(constMap);
  }
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
    if(args.length >= 2) {
      if(args[0].equals("-g")) {
        readFile(args[1],new FileAction() {
          public void act(String str) {
            try {
              TokenState st = new TokenState(str);
              NonGroundProgram ngProg = new ProgramParser().parse(st);
              GroundProgram groundProg = ngProg.ground();
              System.out.println(groundProg);
              //System.out.println(groundProg.filterGrounding());
            } catch (ParseException e) {
              System.out.println(e.getParseError());
            }
          }
        });
      } else if(args[0].equals("-c") && args.length == 3) {
        Double lowerBound;
        try {
          lowerBound = Double.parseDouble(args[1]);
          if(lowerBound >= 0 && lowerBound <= 1)
            readFile(args[2],new CompletionAction(lowerBound));
          else
            System.out.println("The y-argument should be in [0,1]");
        } catch (NumberFormatException e) {
          System.out.println("ERROR: the second argument of -c was not a Double.");
          printUsage();
        }
      } else if(args[0].equals("-s")) {
        System.out.println("Not implemented yet!");
      } else if(args[0].equals("-im")) {
        readFile(args[1],new FileAction() {
          // TODO: remove duplication of code in this action and the
          // grounding action (i.e. have a separate groundingaction that
          // can be called that returns a GroundProgram).
          public void act(String str) {
            try {
              TokenState st = new TokenState(str);
              NonGroundProgram ngProg = new ProgramParser().parse(st);
              GroundProgram groundProg = ngProg.ground();
              ConsequenceOp imcons = new ConsequenceOp(groundProg);
              FaspInterpretation model = imcons.computeLFP();
              System.out.println("LFP Model:");
View Full Code Here
236
237
238
239
240
241
242
243
244
245
246
    public CompletionAction(Double d) {
      this.lowerBound = d;
    }
    public void act(String str) {
      try {
        TokenState st = new TokenState(str);
        NonGroundProgram ngProg = new ProgramParser().parse(st);
        GroundProgram groundProg = ngProg.ground();
        List<FuzzyLiteral> completion = groundProg.createCompletion(lowerBound);
        System.out.println(completion);
      } catch (ParseException e) {
View Full Code Here
TOP

Related Classes of fasp.parser.tokenizer.TokenState

  • fasp.Main
  • fasp.Main$CompletionAction
  • fasp.TPLPProgram
  • fasp.TPLPProgram1
    • 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.