Пример #1
0
 public DafnyCCVerb(SourcePath dfyroot, string appLabel, FramePointerMode useFramePointer)
     : base(dfyroot, appLabel)
 {
     this.useFramePointer = useFramePointer;
     this.abstractId = new AbstractId(this.GetType().Name, this.getVersion() + version, dfyroot.ToString(), concrete: useFramePointer.ToString());
     this.dafnyCCBuildExecutableVerb = new VSSolutionVerb(new SourcePath("tools\\DafnyCC\\DafnyCC.sln", SourcePath.SourceType.Tools));
 }
Пример #2
0
 public DafnyCCVerb(SourcePath dfyroot, string appLabel, FramePointerMode useFramePointer)
     : base(dfyroot, appLabel)
 {
     this.useFramePointer            = useFramePointer;
     this.abstractId                 = new AbstractId(this.GetType().Name, this.getVersion() + version, dfyroot.ToString(), concrete: useFramePointer.ToString());
     this.dafnyCCBuildExecutableVerb = new VSSolutionVerb(new SourcePath("tools\\DafnyCC\\DafnyCC.sln", SourcePath.SourceType.Tools));
 }
Пример #3
0
 public DafnyCCVerb(SourcePath dfyroot, string appLabel, FramePointerMode useFramePointer)
     : base(dfyroot, appLabel)
 {
     this.useFramePointer = useFramePointer;
     abstractId           = new AbstractId(this.GetType().Name, getVersion() + version, dfyroot.ToString(), concrete: useFramePointer.ToString());
 }