internal static BuildObject makeLabeledOutputObject(BuildObject input, string appLabel, string typeExtn) { ModPart part = whichPart(input); if (part == ModPart.Unknown) { // Input must be a raw boogie file. Util.Assert(input.getExtension().EndsWith(BoogieVerb.BPL_EXTN)); return input.makeLabeledOutputObject(appLabel, typeExtn); } else { return input.makeLabeledOutputObject(appLabel, part.ExtnStr() + typeExtn); } }
internal static BuildObject makeLabeledOutputObject(BuildObject input, string appLabel, string typeExtn) { ModPart part = whichPart(input); if (part == ModPart.Unknown) { //- input must be a raw boogie file. Util.Assert(input.getExtension().EndsWith(BoogieVerb.BPL_EXTN)); return(input.makeLabeledOutputObject(appLabel, typeExtn)); } else { return(input.makeLabeledOutputObject(appLabel, part.ExtnStr() + typeExtn)); } }
BuildObject outputFile() { string outputAppLabel = (appLabel == null ? "" : appLabel) + contextVerb.getPoundDefines().ToString(); string extn = beatobj.getExtension().Equals(BeatExtensions.BEATIFC_EXTN) ? BoogieAsmVerifyVerb.BASMIFC_EXTN : BoogieAsmVerifyVerb.BASMIMP_EXTN; return(beatobj.makeLabeledOutputObject(outputAppLabel, extn)); }