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));
}
public BeatVerb(IContextGeneratingVerb contextVerb, BuildObject beatobj, string appLabel)
{
this.contextVerb = contextVerb;
this.beatobj = beatobj;
this.appLabel = appLabel;
this.abstractId = new AbstractId(this.GetType().Name, version, beatobj.ToString(), contextVerb.getPoundDefines(), concrete: appLabel);
}
public BeatVerb(IContextGeneratingVerb contextVerb, BuildObject beatobj, string appLabel)
{
this.contextVerb = contextVerb;
this.beatobj = beatobj;
this.appLabel = appLabel;
this.abstractId = new AbstractId(this.GetType().Name, version, beatobj.ToString(), contextVerb.getPoundDefines(), concrete: appLabel);
}
public override AbstractId getAbstractIdentifier()
{
if (this.abstractId == null)
{
this.abstractId = new AbstractId(this.GetType().Name, getVersion() + version, this.upstreamObj.ToString(), context.getPoundDefines(), getExtraAbstractID());
}
return(abstractId);
}
public BoogieAsmDepBase(IContextGeneratingVerb context, BuildObject input)
{
this.context = context;
this.upstreamObj = input;
this.basmInput = computeBasmInput(context.getPoundDefines(), input);
}
public BoogieAsmDepBase(IContextGeneratingVerb context, BuildObject input)
{
this.context = context;
this.upstreamObj = input;
this.basmInput = computeBasmInput(context.getPoundDefines(), input);
}