[ library(asm) | Reference Manual | Alphabetic Index ]
pasm(+WAMCode, -Size, -BTPos, -Object)
Partially assemble WAMCode into an object format.
- WAMCode
- A list of WAM instructions in the right format.
- Size
- Variable or integer
- BTPos
- Variable or integer
- Object
- A list of object words in the right format.
Description
Partially assemble the WAM instructions given WAMCode without loading it
into the current session. Instead, an object format is generated. This
object format can be loaded into an ECLiPSe session using the low level
built-in store_pred/9. fcompile/1,2 uses this predicate to generate the
object code for predicates. BTPos is the offset in words to the break/
port table, which are the addresses to the positions in the code for the
predicate where a breakpoint can be set (body goals which are tracable).
The partially assembled code consists of Object, which is a typed
representation of the words that need to be stored into memory; and
Size, the size in words that this object code will occupy in memory.
Modes and Determinism
- pasm(+, -, -, -) is semidet
Fail Conditions
If WAMCode is not in correct format.
Resatisfiable
No.
See Also
asm / 2, asm / 3, disasm / 2, disasm / 3, sicstus : fcompile / 1, fcompile : fcompile / 1, fcompile : fcompile / 2, portable_object_code / 1