Default package

Get desktop application:
View/edit binary Protocol Buffers messages

Used in: ErlangTerm.FunEntry, ErlangTerm.MapEntry, LogEntry, SolverCommand, SolverResponse.ModelEntry, Spec.Type

• ErlangTerm.Type type = 1

  * The representation of Erlang Terms.

• string value = 2

• repeated ErlangTerm subterms = 3

• map<string, ErlangTerm> shared = 4

• optional ErlangTerm improper_list_nil = 5

  Only used for improper lists.

• repeated int32 atom_chars = 6

  Only used for atoms.

• repeated bool bits = 7

  Only used for bitstrings.

• repeated ErlangTerm.MapEntry map_entries = 8

  Only used for maps.

• repeated ErlangTerm.FunEntry points = 9

  Only uses for funs.

• optional ErlangTerm otherwise = 10

• int32 arity = 11

* The type of a function's single point.

Used in: ErlangTerm

• repeated ErlangTerm arguments = 1

• optional ErlangTerm value = 2

* The type of a single map binding (used for map() terms).

Used in: ErlangTerm

• optional ErlangTerm key = 1

• optional ErlangTerm value = 2

* The supported Erlang types. The types SYMBOLIC_VARIABLE and SUBTERM are used internally.

Used in: ErlangTerm

• INTEGER = 0

• FLOAT = 1

• ATOM = 2

• TUPLE = 3

• LIST = 4

• IMPROPER_LIST = 5

• PID = 6

• REFERENCE = 7

• BITSTRING = 8

• MAP = 9

• FUN = 10

• SYMBOLIC_VARIABLE = 11

• SUBTERM = 12

• ANY = 13

• LogEntry.Type type = 1

• repeated ErlangTerm arguments = 2

• bool is_constraint = 3

• uint64 tag = 4

• optional Spec spec = 5

* The supported log entry types.

Used in: LogEntry

• OP_PARAMS = 0

• OP_SPEC = 1

• OP_LAMBDA = 2

• OP_EVALUATED_CLOSURE = 3

• OP_FRESH_LAMBDA_WITH_ARITY = 4

• OP_NOT_LAMBDA_WITH_ARITY = 5

• OP_GUARD_TRUE = 6

• OP_GUARD_FALSE = 7

• OP_MATCH_EQUAL_TRUE = 8

• OP_MATCH_EQUAL_FALSE = 9

• OP_TUPLE_SZ = 10

• OP_TUPLE_NOT_SZ = 11

• OP_TUPLE_NOT_TPL = 12

• OP_LIST_NON_EMPTY = 13

• OP_LIST_EMPTY = 14

• OP_LIST_NOT_LST = 15

• OP_SPAWN = 16

• OP_SPAWNED = 17

• OP_MSG_SEND = 18

• OP_MSG_RECEIVE = 19

• OP_MSG_CONSUME = 20

• OP_UNFOLD_TUPLE = 21

• OP_UNFOLD_LIST = 22

• OP_BOGUS = 23

• OP_FLOAT = 24

• OP_LIST_TO_TUPLE = 25

• OP_TUPLE_TO_LIST = 26

• OP_IS_INTEGER = 27

• OP_IS_ATOM = 28

• OP_IS_FLOAT = 29

• OP_IS_LIST = 30

• OP_IS_TUPLE = 31

• OP_IS_BOOLEAN = 32

• OP_IS_NUMBER = 33

• OP_IS_BITSTRING = 34

• OP_IS_FUN = 35

• OP_IS_FUN_WITH_ARITY = 36

• OP_PLUS = 37

• OP_MINUS = 38

• OP_TIMES = 39

• OP_RDIV = 40

• OP_IDIV_NAT = 41

• OP_REM_NAT = 42

• OP_UNARY = 43

• OP_POW = 44

• OP_TRUNC = 45

• OP_ATOM_NIL = 46

• OP_ATOM_HEAD = 47

• OP_ATOM_TAIL = 48

• OP_HD = 49

• OP_TL = 50

• OP_CONS = 51

• OP_TCONS = 52

• OP_EQUAL = 53

• OP_UNEQUAL = 54

• OP_LT_INT = 55

• OP_LT_FLOAT = 56

• OP_MAKE_BITSTR = 57

• OP_EMPTY_BITSTR = 58

• OP_NONEMPTY_BITSTR = 59

• OP_CONCAT_SEGS = 60

• OP_BITMATCH_CONST_TRUE = 61

• OP_BITMATCH_CONST_FALSE = 62

• OP_BITMATCH_VAR_TRUE = 63

• OP_BITMATCH_VAR_FALSE = 64

• OP_BAND = 65

• OP_BXOR = 66

• OP_BOR = 67

• SolverCommand.Type type = 1

• string filename = 2

  Only used by the "Load Trace File" commands.

• int64 to_constraint = 3

• optional ErlangTerm symbvar = 4

  Only used by the "Fix Variable" commands.

• optional ErlangTerm symbvar_value = 5

* The supported commands.

Used in: SolverCommand

• LOAD_TRACE_FILE = 0

• SOLVE = 1

• GET_MODEL = 2

• ADD_AXIOMS = 3

• FIX_VARIABLE = 4

  Deprecated.

• RESET_SOLVER = 5

• STOP = 6

• SolverResponse.Type type = 1

• oneof data

  • SolverResponse.Status status = 2

  • SolverResponse.Model model = 3

Used in: SolverResponse

• repeated ModelEntry entries = 1

Used in: Model

• optional ErlangTerm var = 1

• optional ErlangTerm value = 2

Used in: SolverResponse

• SAT = 0

• UNSAT = 1

• UNKNOWN = 2

• TIMEOUT = 3

Used in: SolverResponse

• MODEL_STATUS = 0

• MODEL_DATA = 1

Used in: LogEntry

• repeated Spec.FunSig clauses = 1

• repeated Spec.TypeDef typedefs = 2

Used in: AssociationList

• optional Type from_type = 1

• optional Type to_type = 2

• Association.Kind kind = 3

Used in: Association

• UNKNOWN = 0

• MANDATORY = 1

• OPTIONAL = 2

Used in: Type

• repeated Association associations = 1

Used in: Type

• ANY = 0

• ATOM = 1

• ATOM_LITERAL = 2

• FLOAT = 3

• INTEGER = 4

• INTEGER_LITERAL = 5

• LIST = 6

• NONEMPTY_LIST = 7

• NIL = 8

• BITSTRING = 9

• TUPLE = 10

• TUPLEDET = 11

• UNION = 12

• RANGE = 13

• FUN = 14

• CONS = 15

• NTUPLE = 16

• MAP = 18

• USERDEF = 17

Used in: FunSig

• repeated Type parameters = 1

• optional Type return_value = 2

Used in: Spec, Type

• oneof signature

  • FunDet complete = 1

  • Type just_return = 2

Used in: Type

• string lower_bound = 1

• string upper_bound = 2

Used in: Type

• string m = 1

• string n = 2

Used in: Association, FunDet, FunSig, TypeDef, TypeList

• ErlType type = 1

• oneof arg

  • ErlangTerm literal = 2

  • RangeBounds range_bounds = 3

  • SegmentSize segment_size = 4

  • Type inner_type = 5

  • TypeList inner_types = 6

  • FunSig fun = 7

  • uint32 ntuple_size = 8

  • string type_name = 9

  • AssociationList association_list = 10

Used in: Spec

• string name = 1

• optional Type definition = 2

Used in: Type

• repeated Type types = 1