public static BoogieType GetBoogieType(ITypeReference type)
{
return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(type));
}
// if needed we will check if the variable has been referenced
public static BoogieType GetBoogieType(IParameterTypeInformation var)
{
return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
}
public static BoogieType GetBoogieType(Constant var)
{
return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
}
// if needed we will check if the variable has been referenced
public static BoogieType GetBoogieType(IFieldReference var)
{
return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
}
// if needed we will check if the variable has been referenced
public static BoogieType GetBoogieType(IVariable var)
{
return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
}