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; }