equal
deleted
inserted
replaced
126 |
126 |
127 VerificationType() { *this = bogus_type(); } |
127 VerificationType() { *this = bogus_type(); } |
128 |
128 |
129 // Create verification types |
129 // Create verification types |
130 static VerificationType bogus_type() { return VerificationType(Bogus); } |
130 static VerificationType bogus_type() { return VerificationType(Bogus); } |
|
131 static VerificationType top_type() { return bogus_type(); } // alias |
131 static VerificationType null_type() { return VerificationType(Null); } |
132 static VerificationType null_type() { return VerificationType(Null); } |
132 static VerificationType integer_type() { return VerificationType(Integer); } |
133 static VerificationType integer_type() { return VerificationType(Integer); } |
133 static VerificationType float_type() { return VerificationType(Float); } |
134 static VerificationType float_type() { return VerificationType(Float); } |
134 static VerificationType long_type() { return VerificationType(Long); } |
135 static VerificationType long_type() { return VerificationType(Long); } |
135 static VerificationType long2_type() { return VerificationType(Long_2nd); } |
136 static VerificationType long2_type() { return VerificationType(Long_2nd); } |