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)); }
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; }