Functions and Macros |
---|
_PBSC_FindToken.l(*this.cPBSC, s.s)
|
_PBSC_GetDOperator.l(*this.cPBSC, s.s)
|
_PBSC_GetIdentifier.l(*this.cPBSC, s.s)
|
_PBSC_GetNumber.l(*this.cPBSC, s.s)
|
_PBSC_GetString.l(*this.cPBSC, s.s)
|
_PBSC_ReadLine.s(*this.cPBSC)
|
_PBSC_SetLastToken(*this.cPBSC, s.s)
|
_PBSC_SetTokenType(*this.cPBSC, Type.l)
|
_PBSC_Trim.s(*this.cPBSC, s.s)
|
assert(cond, label = "")
|
body
|
Delete_PBSC(*obj.cPBSC)
|
DQ
|
ensure
|
implies(a, b)
|
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
|
returns
|