package Frontend_ir

Get desktop application:
View/edit binary Protocol Buffers messages

frontend_ir.ml:110

Used in: expr._FinishAsync

• required async_expr._tag tag = 1

• oneof value

  • async_expr._AsyncExpr AsyncExpr = 2

frontend_ir.ml:114

Used in: async_expr

• repeated string _0 = 1

• required block_expr _1 = 2

Used in: async_expr

• AsyncExpr_tag = 1

frontend_ir.ml:24

Used in: expr._BinOp

• required bin_op._tag tag = 1

Used in: bin_op

• BinOpPlus_tag = 1

• BinOpMinus_tag = 2

• BinOpMult_tag = 3

• BinOpIntDiv_tag = 4

• BinOpRem_tag = 5

• BinOpLessThan_tag = 6

• BinOpLessThanEq_tag = 7

• BinOpGreaterThan_tag = 8

• BinOpGreaterThanEq_tag = 9

• BinOpAnd_tag = 10

• BinOpOr_tag = 11

• BinOpEq_tag = 12

• BinOpNotEq_tag = 13

frontend_ir.ml:106

Used in: async_expr._AsyncExpr, expr, expr._FinishAsync, expr._FunctionApp, expr._IfElse, expr._Printf, expr._WhileLoop

• repeated expr _ = 1

frontend_ir.ml:123

Used in: program._Prog

• required class_defn._tag tag = 1

• oneof value

  • class_defn._TClass TClass = 2

frontend_ir.ml:124

Used in: class_defn

• required string _0 = 1

• repeated type_expr _1 = 2

• repeated string _2 = 3

Used in: class_defn

• TClass_tag = 1

frontend_ir.ml:113

Used in: expr._Constructor

• required constructor_arg._tag tag = 1

• oneof value

  • constructor_arg._ConstructorArg ConstructorArg = 2

frontend_ir.ml:114

Used in: constructor_arg

• required int64 _0 = 1

• required expr _1 = 2

Used in: constructor_arg

• ConstructorArg_tag = 1

frontend_ir.ml:81

Used in: block_expr, constructor_arg._ConstructorArg, expr._Assign, expr._BinOp, expr._IfElse, expr._Let, expr._MethodApp, expr._UnOp, expr._WhileLoop, function_defn._TFunction, program._Prog

• required expr._tag tag = 1

• oneof value

  • int64 Integer = 2

  • bool Boolean = 3

  • expr._Identifier Identifier = 4

  • expr._Constructor Constructor = 5

  • expr._Let Let = 6

  • expr._Assign Assign = 7

  • expr._Consume Consume = 8

  • expr._FunctionApp FunctionApp = 9

  • expr._Printf Printf = 10

  • expr._FinishAsync FinishAsync = 11

  • expr._IfElse IfElse = 12

  • expr._WhileLoop WhileLoop = 13

  • expr._BinOp BinOp = 14

  • expr._UnOp UnOp = 15

  • block_expr Block = 16

  • expr._Lock Lock = 17

  • expr._Unlock Unlock = 18

  • expr._MethodApp MethodApp = 19

frontend_ir.ml:114

Used in: expr

• required identifier _0 = 1

• required expr _1 = 2

• optional lock_type _2 = 3

frontend_ir.ml:114

Used in: expr

• required bin_op _0 = 1

• required expr _1 = 2

• required expr _2 = 3

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• repeated constructor_arg _1 = 2

frontend_ir.ml:114

Used in: expr

• required identifier _0 = 1

• optional lock_type _1 = 2

frontend_ir.ml:114

Used in: expr

• repeated async_expr _0 = 1

• required block_expr _1 = 2

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• required block_expr _1 = 2

frontend_ir.ml:114

Used in: expr

• required identifier _0 = 1

• optional lock_type _1 = 2

frontend_ir.ml:114

Used in: expr

• required expr _0 = 1

• required block_expr _1 = 2

• required block_expr _2 = 3

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• required expr _1 = 2

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• required lock_type _1 = 2

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• required string _1 = 2

• required int64 _2 = 3

• repeated expr _3 = 4

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• required block_expr _1 = 2

frontend_ir.ml:114

Used in: expr

• required un_op _0 = 1

• required expr _1 = 2

frontend_ir.ml:114

Used in: expr

• required string _0 = 1

• required lock_type _1 = 2

frontend_ir.ml:114

Used in: expr

• required expr _0 = 1

• required block_expr _1 = 2

Used in: expr

• Integer_tag = 1

• Boolean_tag = 2

• Identifier_tag = 3

• Constructor_tag = 4

• Let_tag = 5

• Assign_tag = 6

• Consume_tag = 7

• FunctionApp_tag = 8

• MethodApp_tag = 18

• Printf_tag = 9

• FinishAsync_tag = 10

• IfElse_tag = 11

• WhileLoop_tag = 12

• BinOp_tag = 13

• UnOp_tag = 14

• Block_tag = 15

• Lock_tag = 16

• Unlock_tag = 17

frontend_ir.ml:118

Used in: program._Prog

• required function_defn._tag tag = 1

• oneof value

  • function_defn._TFunction TFunction = 2

frontend_ir.ml:119

Used in: function_defn

• required string _0 = 1

• required type_expr _1 = 2

• repeated param _2 = 3

• repeated expr _3 = 4

Used in: function_defn

• TFunction_tag = 1

frontend_ir.ml:71

Used in: expr._Assign, expr._Consume, expr._Identifier

• required identifier._tag tag = 1

• oneof value

  • string Variable = 2

  • identifier._ObjField ObjField = 3

frontend_ir.ml:74

Used in: identifier

• required string _0 = 1

• required int64 _1 = 2

Used in: identifier

• Variable_tag = 1

• ObjField_tag = 2

frontend_ir.ml:76

Used in: expr._Assign, expr._Consume, expr._Identifier, expr._Lock, expr._Unlock

• required lock_type._tag tag = 1

Used in: lock_type

• Reader_tag = 1

• Writer_tag = 2

frontend_ir.ml:68

Used in: function_defn._TFunction

• required param._tag tag = 1

• oneof value

  • param._TParam TParam = 2

frontend_ir.ml:69

Used in: param

• required type_expr _0 = 1

• required string _1 = 2

Used in: param

• TParam_tag = 1

frontend_ir.ml:128

• required program._tag tag = 1

• oneof value

  • program._Prog Prog = 2

frontend_ir.ml:129

Used in: program

• repeated class_defn _0 = 1

• repeated function_defn _1 = 2

• repeated expr _2 = 3

Used in: program

• Prog_tag = 1

frontend_ir.ml:55

Used in: class_defn._TClass, function_defn._TFunction, param._TParam

• required type_expr._tag tag = 1

• oneof value

  • string TEClass = 3

Used in: type_expr

• TEInt_tag = 1

• TEClass_tag = 2

• TEVoid_tag = 3

• TEBool_tag = 4

frontend_ir.ml:19

Used in: expr._UnOp

• required un_op._tag tag = 1

Used in: un_op

• UnOpNot_tag = 1

• UnOpNeg_tag = 2