public static BoogieMethodData CreateEmpty()
{
return(new BoogieMethodData(BoogieGlobalData.CreateEmpty(),
new List <TypeVariable>(),
new List <Variable>(),
new List <Variable>(),
new List <Variable>(),
new List <IdentifierExpr>(),
new List <Tuple <Expr, bool> >(),
new List <Tuple <Expr, bool> >()));
}
public static BoogieMethodData CreateOnlyGlobal(BoogieGlobalData globalData)
{
return(new BoogieMethodData(globalData,
new List <TypeVariable>(),
new List <Variable>(),
new List <Variable>(),
new List <Variable>(),
new List <IdentifierExpr>(),
new List <Tuple <Expr, bool> >(),
new List <Tuple <Expr, bool> >()));
}
public BoogieMethodData(
BoogieGlobalData globalData,
IEnumerable <TypeVariable> typeParams,
IEnumerable <Variable> inParams,
IEnumerable <Variable> locals,
IEnumerable <Variable> outParams,
IEnumerable <IdentifierExpr> modifies,
IEnumerable <Tuple <Expr, bool> > pres,
IEnumerable <Tuple <Expr, bool> > posts)
{
this.globalData = globalData;
TypeParams = typeParams;
InParams = inParams;
Locals = locals;
//this.OutParams = outParams;
ModifiedVars = modifies;
Preconditions = pres;
Postconditions = posts;
}
