Esempio n. 1
0
 public PTFamily(
     MTType model,
     String familyName,
     String exemplarName,
     Exp constraint,
     Exp initializationRequires,
     Exp initializationEnsures,
     Exp finalizationRequires,
     Exp finalizationEnsures) {
   this(
       model,
       familyName,
       exemplarName,
       normalize(model.getTypeGraph(), constraint),
       normalize(model.getTypeGraph(), initializationRequires),
       normalize(model.getTypeGraph(), initializationEnsures),
       normalize(model.getTypeGraph(), finalizationRequires),
       normalize(model.getTypeGraph(), finalizationEnsures));
 }
Esempio n. 2
0
  public PTFamily(
      MTType model,
      String familyName,
      String exemplarName,
      PExp constraint,
      PExp initializationRequires,
      PExp initializationEnsures,
      PExp finalizationRequires,
      PExp finalizationEnsures) {
    super(model.getTypeGraph());

    myName = familyName;
    myModel = model;
    myExemplarName = exemplarName;
    myConstraint = constraint;
    myInitializationRequires = initializationRequires;
    myInitializationEnsures = initializationEnsures;
    myFinalizationRequires = finalizationRequires;
    myFinalizationEnsures = finalizationEnsures;
  }