ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
type_utils.h File Reference
#include <util/lang/c_types.h>
#include <util/irep/expr.h>
#include <util/irep/std_types.h>
#include <util/expr/expr_util.h>
#include <util/irep/type.h>
#include <python-frontend/type/type_handler.h>
#include <nlohmann/json.hpp>
#include <cctype>
#include <map>
#include <set>
#include <string>
Include dependency graph for type_utils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  TypeFlags
class  type_utils

Enumerations

enum class  StatementType {
  VARIABLE_ASSIGN , COMPOUND_ASSIGN , FUNC_DEFINITION , IF_STATEMENT ,
  WHILE_STATEMENT , FOR_STATEMENT , EXPR , RETURN ,
  ASSERT , CLASS_DEFINITION , PASS , IMPORT ,
  BREAK , CONTINUE , RAISE , UNKNOWN ,
  GLOBAL , NONLOCAL , TRY , EXCEPTHANDLER ,
  DELETE_STATEMENT
}
enum class  ExpressionType {
  BINARY_OPERATION , UNARY_OPERATION , FUNC_CALL , IF_EXPR ,
  LOGICAL_OPERATION , LITERAL , SUBSCRIPT , VARIABLE_REF ,
  LIST , UNKNOWN , FSTRING , TUPLE ,
  SLICE , CLASS_MRO
}

Enumeration Type Documentation

◆ ExpressionType

enum class ExpressionType
strong
Enumerator
BINARY_OPERATION 
UNARY_OPERATION 
FUNC_CALL 
IF_EXPR 
LOGICAL_OPERATION 
LITERAL 
SUBSCRIPT 
VARIABLE_REF 
LIST 
UNKNOWN 
FSTRING 
TUPLE 
SLICE 
CLASS_MRO 

◆ StatementType

enum class StatementType
strong
Enumerator
VARIABLE_ASSIGN 
COMPOUND_ASSIGN 
FUNC_DEFINITION 
IF_STATEMENT 
WHILE_STATEMENT 
FOR_STATEMENT 
EXPR 
RETURN 
ASSERT 
CLASS_DEFINITION 
PASS 
IMPORT 
BREAK 
CONTINUE 
RAISE 
UNKNOWN 
GLOBAL 
NONLOCAL 
TRY 
EXCEPTHANDLER 
DELETE_STATEMENT