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