Ejemplo n.º 1
0
 protected override bool isHistorySource(GTT mgtt, GTT gtt)
 {
     return(false);
 }
 public static Universe.IEmbedTemplate make(JU universe, Function function, GTT arguments)
 {
     return(new JImportTemplateMaker(universe).make(function, arguments));
 }
Ejemplo n.º 3
0
 protected override bool hasPredecessors(GTT gtt)
 {
     return(false);
 }
Ejemplo n.º 4
0
 protected override void removeSources(GTT gtt)
 {
     base.removeSources(gtt);
 }
Ejemplo n.º 5
0
 public override bool isBaseless(GTT gtt)
 {
     return(true);
 }
Ejemplo n.º 6
0
 public override bool hasAllPreds(GTT gtt)
 {
     return(true);
 }
Ejemplo n.º 7
0
 protected override bool predecessorRelevant(Function f, GTT gtt)
 {
     return(false);
 }
Ejemplo n.º 8
0
 protected override bool isExpanding(GTT gtt)
 {
     return(false);
 }
Ejemplo n.º 9
0
 protected bool tryGetPGTTGTTI(GTT pgtt, out GTTI gtti)
 {
     return(gttSS.tryGetPTTI(pgtt, out gtti));
 }
Ejemplo n.º 10
0
 public GTTI getPGTTGTTI(GTT pgtt)
 {
     return(gttSS.getPTTI(pgtt));
 }
Ejemplo n.º 11
0
 protected bool hasPGTT(GTT pgtt)
 {
     return(gttSS.hasPT(pgtt));
 }
Ejemplo n.º 12
0
 protected bool upToDatePGTT(GTT pgtt)
 {
     return(predecessor.upToDateGTTMM(pgtt));
 }
Ejemplo n.º 13
0
 protected void mapPGTTInt(GTTI gtti, GTT pgtt)
 {
     Debug.Assert(upToDatePGTT(pgtt));
     gttSS.mapPTInt(gtti, pgtt);
     enqueuePropagateGTTI(gtti);
 }
Ejemplo n.º 14
0
 protected void mapPGTT(GTTI gtti, GTT pgtt)
 {
     mapPGTT(getGTTD(gtti), pgtt);
 }
Ejemplo n.º 15
0
 void remapPGTT(GTTI gtti, GTT pgtt)
 {
     Debug.Assert(gttSS.getPTTI(pgtt) != gtti);
     mapPGTTInt(gtti, pgtt);
 }