Elsa Ast Type E cast

E_cast is a Ast subtype node belonging to Expression. E_cast is a record.

Record Data Fields

• cast_type : CType option
• cast_ctype : ASTTypeId
• cast_expr : Expression
• tcheckedType : bool

Comments

Please make your modifications only below, because the content above will be regenerated automatically from time to time.