comparison Resources/CodeGeneration/stonegentool.py @ 543:75664eeacae5 dev

added sets in code generation (not tested yet in TS)
author Alain Mazy <alain@mazy.be>
date Wed, 20 Mar 2019 15:27:04 +0100
parents 17106b29ed6d
children 8432926e9db9
comparison
equal deleted inserted replaced
541:b336dfa71f12 543:75664eeacae5
80 # replace float32 by float 80 # replace float32 by float
81 # replace float64 by double 81 # replace float64 by double
82 retVal = canonicalTypename 82 retVal = canonicalTypename
83 retVal = retVal.replace("map", "std::map") 83 retVal = retVal.replace("map", "std::map")
84 retVal = retVal.replace("vector", "std::vector") 84 retVal = retVal.replace("vector", "std::vector")
85 retVal = retVal.replace("set", "std::set")
85 retVal = retVal.replace("string", "std::string") 86 retVal = retVal.replace("string", "std::string")
86 retVal = retVal.replace("int32", "int32_t") 87 retVal = retVal.replace("int32", "int32_t")
87 retVal = retVal.replace("float32", "float") 88 retVal = retVal.replace("float32", "float")
88 retVal = retVal.replace("float64", "double") 89 retVal = retVal.replace("float64", "double")
89 retVal = retVal.replace("json", "Json::Value") 90 retVal = retVal.replace("json", "Json::Value")
96 # replace float32 by number 97 # replace float32 by number
97 # replace float64 by number 98 # replace float64 by number
98 retVal = canonicalTypename 99 retVal = canonicalTypename
99 retVal = retVal.replace("map", "Map") 100 retVal = retVal.replace("map", "Map")
100 retVal = retVal.replace("vector", "Array") 101 retVal = retVal.replace("vector", "Array")
102 retVal = retVal.replace("set", "Set")
101 retVal = retVal.replace("int32", "number") 103 retVal = retVal.replace("int32", "number")
102 retVal = retVal.replace("float32", "number") 104 retVal = retVal.replace("float32", "number")
103 retVal = retVal.replace("float64", "number") 105 retVal = retVal.replace("float64", "number")
104 retVal = retVal.replace("bool", "boolean") 106 retVal = retVal.replace("bool", "boolean")
105 retVal = retVal.replace("json", "Object") 107 retVal = retVal.replace("json", "Object")