Esempio n. 1
0
 public static BoogieType GetBoogieType(ITypeReference type)
 {
     return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(type));
 }
Esempio n. 2
0
 // if needed we will check if the variable has been referenced
 public static BoogieType GetBoogieType(IParameterTypeInformation var)
 {
     return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
 }
Esempio n. 3
0
 public static BoogieType GetBoogieType(Constant var)
 {
     return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
 }
Esempio n. 4
0
 // if needed we will check if the variable has been referenced
 public static BoogieType GetBoogieType(IFieldReference var)
 {
     return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
 }
Esempio n. 5
0
 // if needed we will check if the variable has been referenced
 public static BoogieType GetBoogieType(IVariable var)
 {
     return(BoogieType.GetBoogieTypeTranslator().GetBoogieType(var));
 }