Default package

Get desktop application:
View/edit binary Protocol Buffers messages

b

• required Bytecode.Version version = 1

• required string path = 2

• repeated Bytecode.Import imports = 3

• repeated Module modules = 4

i

Used in: Bytecode

• required bool isMetadataImport = 1

• required bool isTypeImport = 2

• required string platform = 3

• required string path = 4

• required Type type_ = 5

• required string name = 6

v

Used in: Bytecode

• required int32 magic = 1

• required int32 major = 2

• required int32 minor = 3

\sigma

Used in: Type.CompoundType

• oneof declaration

  • DeclType.VariableDeclType variableDecl = 1

  • DeclType.MethodDeclType methodDecl = 2

  • DeclType.DeclTypeDeclaration declTypeDeclaration = 3

  • DeclType.OpaqueTypeDecl opaqueTypeDecl = 4

Used in: DeclType

• required string name = 1

• required TypeDesc typeDesc = 2

• optional Expression metadata = 3

Used in: DeclType

• required string methodName = 1

• repeated MethodArgument arguments_ = 2

• required Type returnType = 3

Used in: DeclType

• required string name = 1

• required bool stateful = 2

• optional Expression metadata = 3

Used in: DeclType

• required VariableDeclarationType declarationType = 1

• required string variable = 2

• required Type type_ = 3

d

Used in: Expression.NewExpression, Expression.SequenceExpression.SequenceStatement

• oneof declaration

  • Declaration.VariableDeclaration variableDeclaration = 1

  • Declaration.MethodDeclaration methodDeclaration = 2

  • Declaration.TypeDeclaration typeDeclaration = 3

Used in: Declaration

• required string methodName = 1

• repeated MethodArgument arguments_ = 2

• required Type returnType = 3

• required Expression body = 4

Used in: Declaration

• required string name = 1

• required TypeDesc typeDesc = 2

• optional Expression metadata = 3

Used in: Declaration

• required VariableDeclarationType declarationType = 1

• required string variable = 2

• required Type type_ = 3

• required Expression initializer = 4

e

Used in: DeclType.DeclTypeDeclaration, DeclType.OpaqueTypeDecl, Declaration.MethodDeclaration, Declaration.TypeDeclaration, Declaration.VariableDeclaration, Expression.AccessExpression, Expression.AssignmentExpression, Expression.CallExpression, Expression.MatchExpression, Expression.MatchExpression.MatchArm, Expression.SequenceExpression.SequenceStatement, Expression.StaticCallExpression, Module.TypeModule, Module.ValueModule

• oneof expression

  • string variable = 1

  • Expression.NewExpression newExpression = 2

  • Expression.CallExpression callExpression = 3

  • Expression.StaticCallExpression staticCallExpression = 4

  • Expression.AccessExpression accessExpression = 5

  • Expression.AssignmentExpression assignmentExpression = 6

  • Expression.Literal literal = 7

  • Expression.MatchExpression matchExpression = 8

  • Expression.SequenceExpression sequenceExpression = 9

Used in: Expression

• required Expression expression = 1

• required string field = 2

Used in: Expression

• required Expression expression = 1

• required string field = 2

• required Expression value = 3

Used in: Expression

• required Expression receiver = 1

• required string method = 2

• repeated Expression arguments_ = 3

• required bool isTailCall = 4

Used in: Expression

• oneof literal

  • string stringLiteral = 1

  • bytes integerLiteral = 2

  • double floatLiteral = 3

  • bool booleanLiteral = 4

  • string characterLiteral = 5

    protobuf doesn't have char type. This may be better anyways due to unicode complexities and the shortcomings of Java's char.

Used in: Expression

• required Expression expression = 1

• repeated MatchExpression.MatchArm arms = 2

• optional Expression else = 3

Used in: MatchExpression

• required string variable = 1

• required string path = 2

• required Expression expression = 3

Used in: Expression

• required Type type_ = 1

• required string selfName = 2

• repeated Declaration declarations = 3

Used in: Expression

• repeated SequenceExpression.SequenceStatement statements = 1

Used in: SequenceExpression

• oneof statement

  • Expression expression = 1

  • Declaration declaration = 2

Used in: Expression

• required Expression receiver = 1

• required string receiverType = 2

• required string method = 3

• repeated Expression arguments_ = 4

x : \tau (used in methods and method types)

Used in: DeclType.MethodDeclType, Declaration.MethodDeclaration

• required string variable = 1

• required Type type_ = 2

M

Used in: Bytecode

• required string path = 1

• oneof module

  • Module.ValueModule valueModule = 2

  • Module.TypeModule typeModule = 3

Used in: Module

• required TypeDesc typeDesc = 1

• optional Expression metadata = 2

Used in: Module

• required Type type_ = 1

• required Expression expression = 2

\tau

Used in: Bytecode.Import, DeclType.MethodDeclType, DeclType.VariableDeclType, Declaration.MethodDeclaration, Declaration.VariableDeclaration, Expression.NewExpression, MethodArgument, Module.ValueModule, Type.CompoundType, TypeDesc

• oneof type_

  • Type.CompoundType compoundType = 1

  • string path = 2

  • Type.SimpleType simpleType = 3

\tau { x => \overline{\sigma} }_s

Used in: Type

• required Type base = 1

• required string selfName = 2

• repeated DeclType declTypes = 3

• required bool stateful = 4

Used in: Type

• Top = 1

• Nothing = 2

• Dyn = 3

T

Used in: DeclType.DeclTypeDeclaration, Declaration.TypeDeclaration, Module.TypeModule

• optional string extends_ = 1

• required Type type_ = 2

• optional TypeDesc.Tag tag = 3

Used in: TypeDesc

• repeated string paths = 1

  Length 0 means extag, otherwise datatag

Variable declarations are either val or var

Used in: DeclType.VariableDeclType, Declaration.VariableDeclaration

• VAL = 1

• VAR = 2