Package edu.mit.csail.sdg.alloy4compiler.ast

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Sig

144
145
146
147
148
149
150
151
152
153
154
  }

  private List<String> getClasses() {
    List<String> result = new ArrayList<String>();

    Sig sig = getSig("Class");
    List<String> classInstances = extractInstances(ans.eval(sig).toString());
    result.addAll(classInstances);

    return result;
  }
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
165
  }

  private TypeDeclaration getClass(String classId) {
    TypeDeclaration result = ast.newTypeDeclaration();

    Sig classSig = getSig("Class");
    SafeList<Field> classFields = classSig.getFields();
    Field classIdRelations = getField("id", classFields);
    Map<String, List<String>> classIdRel = getRelations(classIdRelations);

    Field classExtendRel = getField("extend", classFields);
    Map<String, List<String>> extendRel = getRelations(classExtendRel);
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
215
    Map<String, List<String>> methodsMap = getRelations(methodsRel);

    List<String> methods = methodsMap.get(classId);

    if (methods != null) {
      Sig methodSig = getSig("Method");
      SafeList<Field> mFields = methodSig.getFields();
      Field mIdRelations = getField("id", mFields);
      Map<String, List<String>> idRel = getRelations(mIdRelations);
      Field mArgRelations = getField("param", mFields);
      Map<String, List<String>> argRel = getRelations(mArgRelations);
      Field mVisRelations = getField("acc", mFields);
View Full Code Here
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
  private Expression getMethodBody(String bodyId, String classId) {

    // String instanceName = bodyId.replaceAll("_[0-9]", "");

    Sig s = null;
    SafeList<Field> sFields = null;

    // pega o nome da classe que contem o metodo para usar no qualified this
    Sig classSig = getSig("Class");
    SafeList<Field> classFields = classSig.getFields();
    Field classIdRelations = getField("id", classFields);
    Map<String, List<String>> classIdRel = getRelations(classIdRelations);

    //debug
//    System.out.println("Body id: " + bodyId);
View Full Code Here
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
    }

  }

  private boolean isInstanceOfType(String instance, String type) {
    Sig s = getSig(type);
   
    //debug
//    System.out.println("type: " + s);
   
    if (s == null)
      return false;

    SafeList<Field> sFields = s.getFields();
    Field idRelations = getField("id", sFields);
   
    //debug
//    System.out.println("sFieds: " + sFields);
//    System.out.println("idRelations: "  + idRelations);
View Full Code Here
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
    return result;
  }

  private Expression createParameter(String methodId, String classId) {
    Sig classSig = getSig("Class");
    SafeList<Field> cFields = classSig.getFields();
    Field cIdRelations = getField("id", cFields);
    Field cMethodsRelations = getField("methods", cFields);
   
    Sig methodSig = getSig("Method");
   
    SafeList<Field> mFields = methodSig.getFields();
    Field mIdRelations = getField("id", mFields);
   
    Map<String, List<String>> idRel = getRelations(mIdRelations);
   
    Field mArgRelations = getField("param", mFields);
View Full Code Here
483
484
485
486
487
488
489
490
491
492
493
494
    return parameter;
  }

  private Expression createParameter(String methodId) {
    // pegar parametros dos metodo
    Sig methodSig = getSig("Method");
    SafeList<Field> mFields = methodSig.getFields();
    Field mIdRelations = getField("id", mFields);
    Map<String, List<String>> idRel = getRelations(mIdRelations);
    Field mArgRelations = getField("param", mFields);
    Map<String, List<String>> argRel = getRelations(mArgRelations);
View Full Code Here
576
577
578
579
580
581
582
583
584
585
586
587
    Map<String, List<String>> fieldsMap = getRelations(fieldsRel);

    List<String> fields = fieldsMap.get(td);

    if (fields != null) {
      Sig fieldSig = getSig("Field");
      SafeList<Field> fFields = fieldSig.getFields();
      Field fIdRelations = getField("id", fFields);
      Map<String, List<String>> idRel = getRelations(fIdRelations);
      Field fTypeRelations = getField("type", fFields);
      Map<String, List<String>> typeRel = getRelations(fTypeRelations);
      Field fVisRelations = getField("acc", fFields);
View Full Code Here
640
641
642
643
644
645
646
647
648
649
650
651
      result = ast.newPrimitiveType(PrimitiveType.LONG);
    else if (type.equals("Int__0"))
      result = ast.newPrimitiveType(PrimitiveType.INT);

    else {
      Sig classSig = getSig("Class");
      SafeList<Field> classFields = classSig.getFields();
      Field classIdRelations = getField("id", classFields);
      Map<String, List<String>> classRel = getRelations(classIdRelations);
      List<String> id = classRel.get(type);
      if (id != null) {
        result = ast.newSimpleType(ast.newName(id.get(0)));
View Full Code Here
668
669
670
671
672
673
674
675
676
677
678
679
  }

  private List<ImportDeclaration> getImports(String classId) {
    List<ImportDeclaration> result = new ArrayList<ImportDeclaration>();

    Sig cuSig = getSig("Class");
    SafeList<Field> cuFields = cuSig.getFields();
    Field packageRelations = getField("imports", cuFields);
    Map<String, List<String>> r = getRelations(packageRelations);
    List<String> imported = r.get(classId);

    if (imported != null) {
View Full Code Here
TOP

Related Classes of edu.mit.csail.sdg.alloy4compiler.ast.Sig

  • edu.mit.csail.sdg.alloy4.ErrorFatal
  • edu.mit.csail.sdg.alloy4.ErrorSyntax
  • edu.mit.csail.sdg.alloy4.ErrorType
  • edu.mit.csail.sdg.alloy4.Pos
  • edu.mit.csail.sdg.alloy4compiler.parser.CompModule
  • edu.mit.csail.sdg.alloy4compiler.parser.CUP$CompParser$actions
  • edu.mit.csail.sdg.alloy4compiler.translator.A4SolutionReader
  • edu.mit.csail.sdg.alloy4compiler.translator.BookExamples
  • edu.mit.csail.sdg.alloy4compiler.translator.ScopeComputer
  • jdolly.AlloyToJavaTranslator
    • 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.