lexer.pbi

Included Files:
Included in:
jaPBDoc.pb

Overview


Constants
#CONTRACTS
#PBSC_Comment
#PBSC_Identifier
#PBSC_NewLine
#PBSC_Number
#PBSC_Other
#PBSC_String
#PBSC_TypeEnumerationEnd

Top, Back


Structures and Interfaces
cPBSC
iPBSC

Top, Back


Functions and Macros
DQ
Delete_PBSC(*obj.cPBSC)
New_PBSC.l()
PBSC_CloseFile(*this.cPBSC)
PBSC_GetCurrentLineNb.l(*this.cPBSC)
PBSC_GetCurrentType.l(*this.cPBSC)
PBSC_GetNextToken.s(*this.cPBSC)
PBSC_IsNextToken.l(*this.cPBSC)
PBSC_SetFile.l(*this.cPBSC, FileName.s)
PBSC_SetFileLine(*this.cPBSC, Line.l)
PBSC_SetFileString(*this.cPBSC, FileAsString.s)
require
assert(cond, label = "")
body
ensure
implies(a, b)
returns

Top, Back


cPBSC

Elements:

*VTable
CurrentType.l
File.s
FileLine.l
FileMaxLine.l
LastToken.s
LastTokenType.l
Line.s
PreLastToken.s
PreLastTokenType.l
PrePreLastToken.s
PrePreLastTokenType.l
Started.l

Top, Back


iPBSC

Elements:

CloseFile()
GetCurrentLineNb.l()
GetCurrentType.l()
GetNextToken.s()
IsNextToken.l()
SetFile.l(FileName.s)
SetFileLine(Line.l)
SetFileString(FileAsString.s)

Top, Back


DQ


Top, Back


Delete_PBSC(*obj.cPBSC)

Parameters:

*obj

Top, Back


New_PBSC.l()


Top, Back


PBSC_CloseFile(*this.cPBSC)

Parameters:

*this

Top, Back


PBSC_GetCurrentLineNb.l(*this.cPBSC)

Parameters:

*this

Top, Back


PBSC_GetCurrentType.l(*this.cPBSC)

Parameters:

*this

Top, Back


PBSC_GetNextToken.s(*this.cPBSC)

Parameters:

*this

Top, Back


PBSC_IsNextToken.l(*this.cPBSC)

Parameters:

*this

Top, Back


PBSC_SetFile.l(*this.cPBSC, FileName.s)

Parameters:

*this
FileName

Top, Back


PBSC_SetFileLine(*this.cPBSC, Line.l)

Parameters:

*this
Line

Top, Back


PBSC_SetFileString(*this.cPBSC, FileAsString.s)

Parameters:

*this
FileAsString

Top, Back


assert(cond, label = "")

Parameters:

cond
label

Top, Back


body


Top, Back


ensure


Top, Back


implies(a, b)

Parameters:

a
b

Top, Back


require


Top, Back


returns


Top, Back