import  Type.Common

The Type.Common class has a bunch of type declarations used throughout the Basis library.

Type Declarations

Bit                  in  0 to 1                       One bit enumeration

Key(_type)            {  Key string, Tag _type }      Generic string/datum pair
Key                   {  Key string, Tag string }     Default string/string pair
Key(string)           {  Key string, Tag string }     String/string pair
Key(word)             {  Key string, Tag word }       String/word pair

File                - { *Id   byte }                  Opaque File handle

At(_primitive)        { @At _primitive }              Declared for each primitive type
Wiz(_primitive)       { *At _primitive }              Declared for each primitive type
At                    { @At  byte }                   Default At declaration
Wiz                   { *At  byte                     Default Wiz declaration
At.Self               { @At  At.Self }                
At(At)                { @At  At  }                    At self
Wiz(Wiz)              { *At  Wiz }                    Wiz self
At(At..byte)          { @At  At..byte }               Opaque pointer parameters
Wiz(At..byte)         { *At  At..byte }               Opaque pointer parameters

Generic Class Declarations

At( _type = byte )

COPY.RAW  entry From Wiz__type, To Wiz__type, Size word  pure

Key( _type = string )

Form( Key__type[0], Format = "{}" string )  ==>  Form string

Type.Enumerated( _enum )

ENUMERATE.EXACT       exit Enum _enum, entry Exact string  pure
ENUMERATE.EXACT.SCAN  exit Enum _enum, entry Exact string  pure

ENUMERATE.UNIQUE       exit Enum _enum, entry Unique string
ENUMERATE.UNIQUE.SCAN  exit Enum _enum, entry Unique string

Empty.Type( _type )

EMPTY  change Subject _type  pure

Dynamic.Type( _type )

global Stride( .Type ) => -{ -alignment( .Type ) /\ -span( .Type )}

NEW    exit  *Subject    _type  pure
FREE   change Subject[0] _type  pure
EMPTY  change Subject    _type  pure

ALLOCATE     exit *Subject     _type, entry Size word, Align = 0 word
DEALLOCATE  change Subject[0]  _type pure

Binary.Search( _type, _Field_Type = _type, _field = Array )

BINARY.SEARCH  entry Array[*Max] _type, Key _type exit Mid word, Exact Bit  pure

Procedure Declarations

Read.File( Path  string )  >>>  C  byte
CLOSE  change ~Read.File

Read.Text( Path  string )  >>>  Text  string
CLOSE  change ~Read.Text
Status( Read.text )  ==>  Status byte

Status( File )  ==>  Status byte
NEXT.STRING.AT  change File, exit @Line = 0 string

CLOSE  change  File
DRAIN  change  File

Form( Key__type[0],   Format = "{}" string )  ==>  Form string
Form( Key..word[0],   Format = "{}" string )  ==>  Form string
Form( Key..string[0], Format = "{}" string )  ==>  Form string

ALLOCATE_RAW pure  exit *Memory[ Size-1 ] byte, entry Size word, Align = 0 word

Form.Program.Fault( Program.Fault )  ==>  Message string
FIRST.FAULT  Message = "" string, Context = "" string, Method = "" string, Line = 0 word, Fault = 0 word

Assertion.Prefix()                            ==>  Prefix  string
Assertion.Message( Context = 0  Bit )         ==>  Message string  
Form( Assertion, Format = "Raised"  string )  ==>  Form string

SET.ASSERTION.MESSAGE  entry Prefix = "" string, Message = "" string
CALL.STACK  exit Heap..Key, entry Method = "" string
CLEAR.PROGRAM.FAULT  pure
DRAIN  change Clear.Program.Fault