ballerina/bir module

Type Definitions

Type Values Description
ArgVarKind VAR_KIND_ARG
ArrayState ARRAY_STATE_UNSEALED | ARRAY_STATE_OPEN_SEALED | ARRAY_STATE_CLOSED_SEALED
BJSONType TYPE_JSON
BServiceType TYPE_SERVICE
BType Self | BXMLType | BUnionType | BTypeString | BTypeNone | BTypeNil | BTypeInt | BTypeFloat | BTypeDesc | BTypeByte | BTypeBoolean | BTypeAnyData | BTypeAny | BTupleType | BTableType | BServiceType | BRecordType | BObjectType | BMapType | BJSONType | BInvokableType | BFutureType | BFiniteType | BErrorType | BArrayType
BTypeAny TYPE_ANY
BTypeAnyData TYPE_ANYDATA
BTypeBoolean TYPE_BOOLEAN
BTypeByte TYPE_BYTE
BTypeDesc TYPE_DESC
BTypeFloat TYPE_FLOAT
BTypeInt TYPE_INT
BTypeNil TYPE_NIL
BTypeNone TYPE_NONE
BTypeString TYPE_STRING
BXMLType TYPE_XML
BinaryOpInstructionKind BINARY_SUB | BINARY_OR | BINARY_NOT_EQUAL | BINARY_MUL | BINARY_LESS_THAN | BINARY_LESS_EQUAL | BINARY_GREATER_THAN | BINARY_GREATER_EQUAL | BINARY_EQUAL | BINARY_DIV | BINARY_AND | BINARY_ADD
GlobalVarKind VAR_KIND_GLOBAL
InstructionKind INS_KIND_XML_SEQ_STORE | INS_KIND_XML_SEQ_LOAD | INS_KIND_XML_LOAD_ALL | INS_KIND_XML_LOAD | INS_KIND_XML_ATTRIBUTE_STORE | INS_KIND_XML_ATTRIBUTE_LOAD | INS_KIND_TYPE_TEST | INS_KIND_TYPE_CAST | INS_KIND_TYPEOF | INS_KIND_OBJECT_STORE | INS_KIND_OBJECT_LOAD | INS_KIND_NOT | INS_KIND_NEW_XML_TEXT | INS_KIND_NEW_XML_QNAME | INS_KIND_NEW_XML_PI | INS_KIND_NEW_XML_ELEMENT | INS_KIND_NEW_XML_COMMENT | INS_KIND_NEW_TABLE | INS_KIND_NEW_STRING_XML_QNAME | INS_KIND_NEW_MAP | INS_KIND_NEW_INST | INS_KIND_NEW_ERROR | INS_KIND_NEW_ARRAY | INS_KIND_MOVE | INS_KIND_MAP_STORE | INS_KIND_MAP_LOAD | INS_KIND_IS_LIKE | INS_KIND_FP_LOAD | INS_KIND_CONST_LOAD | INS_KIND_ARRAY_STORE | INS_KIND_ARRAY_LOAD | BinaryOpInstructionKind
LocalVarKind VAR_KIND_LOCAL
ReturnVarKind VAR_KIND_RETURN
SelfVarKind VAR_KIND_SELF
TempVarKind VAR_KIND_TEMP
TerminatorKind TERMINATOR_WAIT | TERMINATOR_RETURN | TERMINATOR_PANIC | TERMINATOR_GOTO | TERMINATOR_FP_CALL | TERMINATOR_CALL | TERMINATOR_BRANCH | TERMINATOR_ASYNC_CALL
VarKind TempVarKind | SelfVarKind | ReturnVarKind | LocalVarKind | GlobalVarKind | ArgVarKind
VarScope VAR_SCOPE_GLOBAL | VAR_SCOPE_FUNCTION
Visibility VISIBILITY_PUBLIC | VISIBILITY_PRIVATE | VISIBILITY_PACKAGE_PRIVATE

Records Summary

Record Description
AsyncCall
BArrayType
BAttachedFunction
BErrorType
BFiniteType
BFutureType
BInvokableType
BMapType
BObjectField
BObjectType
BRecordField
BRecordType
BTableType
BTupleType
BUnionType
BasicBlock
BinaryOp
Branch
Call
ConstPool
ConstantLoad
DiagnosticPos
ErrorEntry
FPCall
FPLoad
FieldAccess
Function
GOTO
GlobalVariableDcl
ImportModule
Instruction
IsLike
ModuleID
Move
Name
NewArray
NewError
NewInstance
NewMap
NewStringXMLQName
NewTable
NewXMLComment
NewXMLElement
NewXMLPI
NewXMLQName
NewXMLText
Package
Panic
Return
Self
Terminator
TypeCast
TypeDef
TypeTest
UnaryOp
VarRef
VariableDcl
Wait
XMLAccess

Objects Summary

Object Description
BIRContext

TODO Docs

BirChannelReader
BirEmitter
ChannelReader
ConstPoolParser
FuncBodyParser
PackageParser
TypeParser

Functions Summary

Return Type Function and Description
DiagnosticPos parseDiagnosticPos(bir:BirChannelReader reader)
VarKind parseVarKind(bir:BirChannelReader reader)
VarScope parseVarScope(bir:BirChannelReader reader)
VariableDcl parseVariableDcl(bir:BirChannelReader reader, bir:TypeParser typeParser)
Visibility parseVisibility(bir:BirChannelReader reader)
string serialize(int|boolean|any|()|byte|float|string|bir:BUnionType|bir:BTupleType|bir:BInvokableType|bir:BArrayType|bir:BRecordType|bir:BObjectType|bir:BMapType|bir:BErrorType|anydata|none|bir:BFutureType|json|bir:Self|typedesc|xml|service|bir:BFiniteType|bir:BTableType bType)

Constants

Name Data Type Value Description
BINARY_ADD ADD
BINARY_SUB SUB
BINARY_MUL MUL
BINARY_DIV DIV
BINARY_EQUAL EQUAL
BINARY_NOT_EQUAL NOT_EQUAL
BINARY_GREATER_THAN GREATER_THAN
BINARY_GREATER_EQUAL GREATER_EQUAL
BINARY_LESS_THAN LESS_THAN
BINARY_LESS_EQUAL LESS_EQUAL
BINARY_AND AND
BINARY_OR OR
INS_KIND_MOVE MOVE
INS_KIND_CONST_LOAD CONST_LOAD
INS_KIND_NEW_MAP NEW_MAP
INS_KIND_NEW_INST NEW_INST
INS_KIND_MAP_STORE MAP_STORE
INS_KIND_NEW_ARRAY NEW_ARRAY
INS_KIND_ARRAY_STORE ARRAY_STORE
INS_KIND_MAP_LOAD MAP_LOAD
INS_KIND_ARRAY_LOAD ARRAY_LOAD
INS_KIND_NEW_ERROR NEW_ERROR
INS_KIND_TYPE_CAST TYPE_CAST
INS_KIND_IS_LIKE IS_LIKE
INS_KIND_TYPE_TEST TYPE_TEST
INS_KIND_OBJECT_STORE OBJECT_STORE
INS_KIND_OBJECT_LOAD OBJECT_LOAD
INS_KIND_NEW_XML_ELEMENT NEW_XML_ELEMENT
INS_KIND_NEW_XML_TEXT NEW_XML_TEXT
INS_KIND_NEW_XML_COMMENT NEW_XML_COMMENT
INS_KIND_NEW_XML_PI NEW_XML_PI
INS_KIND_NEW_XML_QNAME NEW_XML_QNAME
INS_KIND_NEW_STRING_XML_QNAME NEW_STRING_XML_QNAME
INS_KIND_XML_SEQ_STORE XML_SEQ_STORE
INS_KIND_XML_SEQ_LOAD XML_SEQ_LOAD
INS_KIND_XML_LOAD XML_LOAD
INS_KIND_XML_LOAD_ALL XML_LOAD_ALL
INS_KIND_XML_ATTRIBUTE_STORE XML_ATTRIBUTE_STORE
INS_KIND_XML_ATTRIBUTE_LOAD XML_ATTRIBUTE_LOAD
INS_KIND_FP_LOAD FP_LOAD
INS_KIND_NEW_TABLE NEW_TABLE
INS_KIND_TYPEOF TYPEOF
INS_KIND_NOT NOT
TERMINATOR_GOTO GOTO
TERMINATOR_CALL CALL
TERMINATOR_ASYNC_CALL ASYNC_CALL
TERMINATOR_BRANCH BRANCH
TERMINATOR_RETURN RETURN
TERMINATOR_PANIC PANIC
TERMINATOR_WAIT WAIT
TERMINATOR_FP_CALL FP_CALL
VAR_KIND_LOCAL LOCAL
VAR_KIND_TEMP TEMP
VAR_KIND_RETURN RETURN
VAR_KIND_ARG ARG
VAR_KIND_GLOBAL GLOBAL
VAR_KIND_SELF SELF
VAR_SCOPE_GLOBAL GLOBAL_SCOPE
VAR_SCOPE_FUNCTION FUNCTION_SCOPE
ARRAY_STATE_CLOSED_SEALED CLOSED_SEALED
ARRAY_STATE_OPEN_SEALED OPEN_SEALED
ARRAY_STATE_UNSEALED UNSEALED
TYPE_ANY any
TYPE_ANYDATA anydata
TYPE_NONE none
TYPE_NIL ()
TYPE_INT int
TYPE_FLOAT float
TYPE_BOOLEAN boolean
TYPE_STRING string
TYPE_BYTE byte
TYPE_JSON json
TYPE_DESC typedesc
TYPE_XML xml
TYPE_SERVICE service
VISIBILITY_PACKAGE_PRIVATE PACKAGE_PRIVATE
VISIBILITY_PRIVATE PRIVATE
VISIBILITY_PUBLIC PUBLIC
INS_GOTO int 1
INS_CALL int 2
INS_BRANCH int 3
INS_RETURN int 4
INS_ASYNC_CALL int 5
INS_WAIT int 6
INS_FP_CALL int 7
INS_MOVE int 20
INS_CONST_LOAD int 21
INS_NEW_MAP int 22
INS_MAP_STORE int 23
INS_MAP_LOAD int 24
INS_NEW_ARRAY int 25
INS_ARRAY_STORE int 26
INS_ARRAY_LOAD int 27
INS_NEW_ERROR int 28
INS_TYPE_CAST int 29
INS_IS_LIKE int 30
INS_TYPE_TEST int 31
INS_NEW_INST int 32
INS_OBJECT_STORE int 33
INS_OBJECT_LOAD int 34
INS_PANIC int 35
INS_FP_LOAD int 36
INS_NEW_XML_ELEMENT int 37
INS_NEW_XML_TEXT int 38
INS_NEW_XML_COMMENT int 39
INS_NEW_XML_PI int 40
INS_NEW_XML_SEQ int 41
INS_NEW_XML_QNAME int 42
INS_NEW_STRING_XML_QNAME int 43
INS_XML_SEQ_STORE int 44
INS_XML_SEQ_LOAD int 45
INS_XML_LOAD int 46
INS_XML_LOAD_ALL int 47
INS_XML_ATTRIBUTE_LOAD int 48
INS_XML_ATTRIBUTE_STORE int 49
INS_NEW_TABLE int 50
INS_ADD int 51
INS_SUB int 52
INS_MUL int 53
INS_DIV int 54
INS_MOD int 55
INS_EQUAL int 56
INS_NOT_EQUAL int 57
INS_GREATER_THAN int 58
INS_GREATER_EQUAL int 59
INS_LESS_THAN int 60
INS_LESS_EQUAL int 61
INS_AND int 62
INS_OR int 63
INS_TYPEOF int 70
INS_NOT int 71

public type AsyncCall record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
args bir:VarRef?[]
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
lhsOp bir:VarRef?
pkgID bir:ModuleID
name bir:Name
thenBB bir:BasicBlock

public type BAttachedFunction record

Field Name Data Type Default Value Description
name bir:Name {}
funcType bir:BInvokableType
visibility PACKAGE_PRIVATE|PRIVATE|PUBLIC

public type BFiniteType record

Field Name Data Type Default Value Description
values int|string|boolean|float|byte?[]

public type BObjectType record

Field Name Data Type Default Value Description
name bir:Name {}
isAbstract boolean false
fields bir:BObjectField?[] []
attachedFunctions bir:BAttachedFunction?[] []

public type BasicBlock record

Field Name Data Type Default Value Description
id bir:Name {}
instructions bir:Instruction?[] []
terminator bir:Terminator {pos: {},kind: RETURN}

public type Branch record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
falseBB bir:BasicBlock
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
op bir:VarRef
trueBB bir:BasicBlock

public type Call record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
args bir:VarRef?[]
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
lhsOp bir:VarRef?
pkgID bir:ModuleID
name bir:Name
isVirtual boolean
thenBB bir:BasicBlock

public type ConstPool record

Field Name Data Type Default Value Description
packages bir:ModuleID[] []
strings string[] []
ints int[] []
floats float[] []

public type DiagnosticPos record

Field Name Data Type Default Value Description
sLine int -1
eLine int -1
sCol int -1
eCol int -1
sourceFileName string

public type ErrorEntry record

Field Name Data Type Default Value Description
trapBB bir:BasicBlock
errorOp bir:VarRef

public type FPCall record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
fp bir:VarRef
lhsOp bir:VarRef?
args bir:VarRef?[]
thenBB bir:BasicBlock

public type Function record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
argsCount int 0
basicBlocks bir:BasicBlock?[] []
errorEntries bir:ErrorEntry?[] []
isDeclaration boolean false
isInterface boolean false
localVars bir:VariableDcl?[] []
name bir:Name {}
typeValue bir:BInvokableType {}
visibility PACKAGE_PRIVATE|PRIVATE|PUBLIC PACKAGE_PRIVATE

public type GOTO record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
targetBB bir:BasicBlock

public type GlobalVariableDcl record

Field Name Data Type Default Value Description
kind LOCAL|TEMP|RETURN|ARG|GLOBAL|SELF GLOBAL
varScope GLOBAL_SCOPE|FUNCTION_SCOPE VAR_SCOPE_GLOBAL
name bir:Name {}
typeValue int|boolean|any|()|byte|float|string|bir:BUnionType|bir:BTupleType|bir:BInvokableType|bir:BArrayType|bir:BRecordType|bir:BObjectType|bir:BMapType|bir:BErrorType|anydata|none|bir:BFutureType|json|bir:Self|typedesc|xml|service|bir:BFiniteType|bir:BTableType ()
visibility PACKAGE_PRIVATE|PRIVATE|PUBLIC PACKAGE_PRIVATE

public type ImportModule record

Field Name Data Type Default Value Description
modOrg bir:Name
modName bir:Name
modVersion bir:Name

public type ModuleID record

Field Name Data Type Default Value Description
org string
name string
modVersion string
isUnnamed boolean false
sourceFilename string

public type Name record

Field Name Data Type Default Value Description
value string

public type Panic record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
errorOp bir:VarRef

public type Return record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL

public type Terminator record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL

public type Wait record

Field Name Data Type Default Value Description
pos bir:DiagnosticPos
kind GOTO|CALL|BRANCH|RETURN|ASYNC_CALL|PANIC|WAIT|FP_CALL
lhsOp bir:VarRef
exprList bir:VarRef?[]

public function parseDiagnosticPos(bir:BirChannelReader reader) returns (DiagnosticPos)

Parameter Name Data Type Default Value Description
reader bir:BirChannelReader
Return Type Description
DiagnosticPos

public function parseVarKind(bir:BirChannelReader reader) returns (VarKind)

Parameter Name Data Type Default Value Description
reader bir:BirChannelReader
Return Type Description
VarKind

public function parseVarScope(bir:BirChannelReader reader) returns (VarScope)

Parameter Name Data Type Default Value Description
reader bir:BirChannelReader
Return Type Description
VarScope

public function parseVariableDcl(bir:BirChannelReader reader, bir:TypeParser typeParser) returns (VariableDcl)

Parameter Name Data Type Default Value Description
reader bir:BirChannelReader
typeParser bir:TypeParser
Return Type Description
VariableDcl

public function parseVisibility(bir:BirChannelReader reader) returns (Visibility)

Parameter Name Data Type Default Value Description
reader bir:BirChannelReader
Return Type Description
Visibility

public function serialize(int|boolean|any|()|byte|float|string|bir:BUnionType|bir:BTupleType|bir:BInvokableType|bir:BArrayType|bir:BRecordType|bir:BObjectType|bir:BMapType|bir:BErrorType|anydata|none|bir:BFutureType|json|bir:Self|typedesc|xml|service|bir:BFiniteType|bir:BTableType bType) returns (string)

Parameter Name Data Type Default Value Description
bType int|boolean|any|()|byte|float|string|bir:BUnionType|bir:BTupleType|bir:BInvokableType|bir:BArrayType|bir:BRecordType|bir:BObjectType|bir:BMapType|bir:BErrorType|anydata|none|bir:BFutureType|json|bir:Self|typedesc|xml|service|bir:BFiniteType|bir:BTableType
Return Type Description
string

public type BIRContext object

TODO Docs

  • <BIRContext> lookupBIRModule(bir:ModuleID modId) returns (Package)

    Parameter Name Data Type Default Value Description
    modId bir:ModuleID
    Return Type Description
    Package

public type BirChannelReader object

  • <BirChannelReader> __init(bir:ChannelReader reader, bir:ConstPool cp)

    Parameter Name Data Type Default Value Description
    reader bir:ChannelReader
    cp bir:ConstPool
  • <BirChannelReader> readBType() returns (BType)

    Return Type Description
    BType
  • <BirChannelReader> readStringCpRef() returns (string)

    Return Type Description
    string
  • <BirChannelReader> readIntCpRef() returns (int)

    Return Type Description
    int
  • <BirChannelReader> readFloatCpRef() returns (float)

    Return Type Description
    float
  • <BirChannelReader> readModuleIDCpRef() returns (ModuleID)

    Return Type Description
    ModuleID
  • <BirChannelReader> readBoolean() returns (boolean)

    Return Type Description
    boolean
  • <BirChannelReader> readInt8() returns (int)

    Return Type Description
    int
  • <BirChannelReader> readInt32() returns (int)

    Return Type Description
    int
  • <BirChannelReader> readInt64() returns (int)

    Return Type Description
    int
  • <BirChannelReader> readString() returns (string)

    Return Type Description
    string
  • <BirChannelReader> readByteArray(int len) returns (byte[])

    Parameter Name Data Type Default Value Description
    len int
    Return Type Description
    byte[]

public type BirEmitter object

  • <BirEmitter> __init(bir:Package pkg)

    Parameter Name Data Type Default Value Description
    pkg bir:Package
  • <BirEmitter> emitPackage()

public type ChannelReader object

  • <ChannelReader> __init(io:ReadableByteChannel byteChannel)

    Parameter Name Data Type Default Value Description
    byteChannel io:ReadableByteChannel
  • <ChannelReader> readBoolean() returns (boolean)

    Return Type Description
    boolean
  • <ChannelReader> readInt8() returns (int)

    Return Type Description
    int
  • <ChannelReader> readInt32() returns (int)

    Return Type Description
    int
  • <ChannelReader> readInt64() returns (int)

    Return Type Description
    int
  • <ChannelReader> readFloat64() returns (float)

    Return Type Description
    float
  • <ChannelReader> readString() returns (string)

    Return Type Description
    string
  • <ChannelReader> readByteArray(int len) returns (byte[])

    Parameter Name Data Type Default Value Description
    len int
    Return Type Description
    byte[]

public type ConstPoolParser object

  • <ConstPoolParser> __init(bir:ChannelReader reader)

    Parameter Name Data Type Default Value Description
    reader bir:ChannelReader
  • <ConstPoolParser> parse() returns (ConstPool)

    Return Type Description
    ConstPool
  • <ConstPoolParser> parseConstPoolEntry()

public type FuncBodyParser object

  • <FuncBodyParser> __init(bir:BirChannelReader reader, bir:TypeParser typeParser, map<bir:VariableDcl> globalVarMap, map<bir:VariableDcl> localVarMap, bir:TypeDef?[] typeDefs)

    Parameter Name Data Type Default Value Description
    reader bir:BirChannelReader
    typeParser bir:TypeParser
    globalVarMap map
    localVarMap map
    typeDefs bir:TypeDef?[]
  • <FuncBodyParser> parseBB() returns (BasicBlock)

    Return Type Description
    BasicBlock
  • <FuncBodyParser> parseEE() returns (ErrorEntry)

    Return Type Description
    ErrorEntry
  • <FuncBodyParser> parseInstruction() returns (Instruction)

    Return Type Description
    Instruction
  • <FuncBodyParser> parseTerminator() returns (Terminator)

    Return Type Description
    Terminator
  • <FuncBodyParser> parseVarRef() returns (VarRef)

    Return Type Description
    VarRef
  • <FuncBodyParser> parseBBRef() returns (BasicBlock)

    Return Type Description
    BasicBlock
  • <FuncBodyParser> parseBinaryOpInstruction(int kindTag, bir:DiagnosticPos pos) returns (BinaryOp)

    Parameter Name Data Type Default Value Description
    kindTag int
    pos bir:DiagnosticPos
    Return Type Description
    BinaryOp

public type PackageParser object

  • <PackageParser> __init(bir:BirChannelReader reader, bir:TypeParser typeParser)

    Parameter Name Data Type Default Value Description
    reader bir:BirChannelReader
    typeParser bir:TypeParser
  • <PackageParser> parseVariableDcl() returns (VariableDcl)

    Return Type Description
    VariableDcl
  • <PackageParser> parseFunction(bir:TypeDef?[] typeDefs) returns (Function)

    Parameter Name Data Type Default Value Description
    typeDefs bir:TypeDef?[]
    Return Type Description
    Function
  • <PackageParser> parsePackage() returns (Package)

    Return Type Description
    Package
  • <PackageParser> parseSig(string sig) returns (BInvokableType)

    Parameter Name Data Type Default Value Description
    sig string
    Return Type Description
    BInvokableType

public type TypeParser object

Field Name Data Type Default Value Description
TYPE_TAG_INT int 1
TYPE_TAG_BYTE int TYPE_TAG_INT + 1
TYPE_TAG_FLOAT int TYPE_TAG_BYTE + 1
TYPE_TAG_DECIMAL int TYPE_TAG_FLOAT + 1
TYPE_TAG_STRING int TYPE_TAG_DECIMAL + 1
TYPE_TAG_BOOLEAN int TYPE_TAG_STRING + 1
TYPE_TAG_JSON int TYPE_TAG_BOOLEAN + 1
TYPE_TAG_XML int TYPE_TAG_JSON + 1
TYPE_TAG_TABLE int TYPE_TAG_XML + 1
TYPE_TAG_NIL int TYPE_TAG_TABLE + 1
TYPE_TAG_ANYDATA int TYPE_TAG_NIL + 1
TYPE_TAG_RECORD int TYPE_TAG_ANYDATA + 1
TYPE_TAG_TYPEDESC int TYPE_TAG_RECORD + 1
TYPE_TAG_STREAM int TYPE_TAG_TYPEDESC + 1
TYPE_TAG_MAP int TYPE_TAG_STREAM + 1
TYPE_TAG_INVOKABLE int TYPE_TAG_MAP + 1
TYPE_TAG_ANY int TYPE_TAG_INVOKABLE + 1
TYPE_TAG_ENDPOINT int TYPE_TAG_ANY + 1
TYPE_TAG_ARRAY int TYPE_TAG_ENDPOINT + 1
TYPE_TAG_UNION int TYPE_TAG_ARRAY + 1
TYPE_TAG_PACKAGE int TYPE_TAG_UNION + 1
TYPE_TAG_NONE int TYPE_TAG_PACKAGE + 1
TYPE_TAG_VOID int TYPE_TAG_NONE + 1
TYPE_TAG_XMLNS int TYPE_TAG_VOID + 1
TYPE_TAG_ANNOTATION int TYPE_TAG_XMLNS + 1
TYPE_TAG_SEMANTIC_ERROR int TYPE_TAG_ANNOTATION + 1
TYPE_TAG_ERROR int TYPE_TAG_SEMANTIC_ERROR + 1
TYPE_TAG_ITERATOR int TYPE_TAG_ERROR + 1
TYPE_TAG_TUPLE int TYPE_TAG_ITERATOR + 1
TYPE_TAG_FUTURE int TYPE_TAG_TUPLE + 1
TYPE_TAG_INTERMEDIATE_COLLECTION int TYPE_TAG_FUTURE + 1
TYPE_TAG_FINITE int TYPE_TAG_INTERMEDIATE_COLLECTION + 1
TYPE_TAG_OBJECT int TYPE_TAG_FINITE + 1
TYPE_TAG_BYTE_ARRAY int TYPE_TAG_OBJECT + 1
TYPE_TAG_FUNCTION_POINTER int TYPE_TAG_BYTE_ARRAY + 1
TYPE_TAG_CHANNEL int TYPE_TAG_FUNCTION_POINTER + 1
TYPE_TAG_SELF int 50
TYPE_TAG_SERVICE int 51
  • <TypeParser> __init(bir:BirChannelReader reader)

    Parameter Name Data Type Default Value Description
    reader bir:BirChannelReader
  • <TypeParser> parseType() returns (BType)

    Return Type Description
    BType