예제 #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));
 }
예제 #3
0
 protected override bool hasPredecessors(GTT gtt)
 {
     return(false);
 }
예제 #4
0
 protected override void removeSources(GTT gtt)
 {
     base.removeSources(gtt);
 }
예제 #5
0
 public override bool isBaseless(GTT gtt)
 {
     return(true);
 }
예제 #6
0
 public override bool hasAllPreds(GTT gtt)
 {
     return(true);
 }
예제 #7
0
 protected override bool predecessorRelevant(Function f, GTT gtt)
 {
     return(false);
 }
예제 #8
0
 protected override bool isExpanding(GTT gtt)
 {
     return(false);
 }
예제 #9
0
 protected bool tryGetPGTTGTTI(GTT pgtt, out GTTI gtti)
 {
     return(gttSS.tryGetPTTI(pgtt, out gtti));
 }
예제 #10
0
 public GTTI getPGTTGTTI(GTT pgtt)
 {
     return(gttSS.getPTTI(pgtt));
 }
예제 #11
0
 protected bool hasPGTT(GTT pgtt)
 {
     return(gttSS.hasPT(pgtt));
 }
예제 #12
0
 protected bool upToDatePGTT(GTT pgtt)
 {
     return(predecessor.upToDateGTTMM(pgtt));
 }
예제 #13
0
 protected void mapPGTTInt(GTTI gtti, GTT pgtt)
 {
     Debug.Assert(upToDatePGTT(pgtt));
     gttSS.mapPTInt(gtti, pgtt);
     enqueuePropagateGTTI(gtti);
 }
예제 #14
0
 protected void mapPGTT(GTTI gtti, GTT pgtt)
 {
     mapPGTT(getGTTD(gtti), pgtt);
 }
예제 #15
0
 void remapPGTT(GTTI gtti, GTT pgtt)
 {
     Debug.Assert(gttSS.getPTTI(pgtt) != gtti);
     mapPGTTInt(gtti, pgtt);
 }