80 lines
2.9 KiB
Factor
80 lines
2.9 KiB
Factor
USING: compiler.tree effects help.markup help.syntax kernel math
|
|
quotations sequences stack-checker.state stack-checker.values
|
|
stack-checker.visitor words ;
|
|
IN: stack-checker.backend
|
|
|
|
HELP: consume-d
|
|
{ $values { "n" integer } { "seq" sequence } }
|
|
{ $description "Consumes 'n' items from the compile time data stack." }
|
|
{ $examples
|
|
{ $unchecked-example
|
|
"USING: kernel namespaces prettyprint stack-checker.backend stack-checker.values ;"
|
|
"0 \ <value> set-global [ 3 consume-d ] with-infer 2drop ."
|
|
"V{ 1 2 3 }"
|
|
}
|
|
} ;
|
|
|
|
HELP: end-infer
|
|
{ $description "Called to end the infer context. It outputs a " { $link #return } " node to the " { $link stack-visitor } " containing the remaining items on the data stack." } ;
|
|
|
|
HELP: ensure-d
|
|
{ $values { "n" integer } { "values" sequence } }
|
|
{ $description "Makes sure there is room for at least " { $snippet "n" } " items in " { $link meta-d } " starting from " { $link inner-d-index } ". Modifies " { $link meta-d } " and " { $link inner-d-index } ". Returns the last " { $snippet "n" } " items of " { $link meta-d } "." } ;
|
|
|
|
HELP: infer-literal-quot
|
|
{ $values { "literal" literal-tuple } }
|
|
{ $description "Performs inferencing for a literal quotation." }
|
|
{ $examples
|
|
{ $unchecked-example
|
|
"[ 3 + * ] <literal> infer-literal-quot"
|
|
}
|
|
} ;
|
|
|
|
HELP: infer-quot-here
|
|
{ $values { "quot" quotation } }
|
|
{ $description "Performs inferencing on the given quotation. This word should only be called in a " { $link with-infer } " context." } ;
|
|
|
|
HELP: introduce-values
|
|
{ $values { "values" sequence } }
|
|
{ $description "Emits an " { $link #introduce } " node to the current " { $link stack-visitor } " which pushes the given values onto the data stack." } ;
|
|
|
|
HELP: pop-d
|
|
{ $values { "obj" "object" } }
|
|
{ $description "Pops an item from the compile time datastack. If the datastack is empty, a new value is instead introduced." }
|
|
{ $see-also introduce-values } ;
|
|
|
|
HELP: pop-literal
|
|
{ $values { "obj" object } }
|
|
{ $description "Used for popping a value off the datastack which is expected to be a literal." } ;
|
|
|
|
HELP: push-d
|
|
{ $values { "obj" "object" } }
|
|
{ $description "Pushes an item onto the compile time data stack." } ;
|
|
|
|
HELP: push-literal
|
|
{ $values { "obj" "object" } }
|
|
{ $description "Pushes a literal onto the " { $link literals } " sequence." }
|
|
{ $see-also commit-literals } ;
|
|
|
|
HELP: required-stack-effect
|
|
{ $values { "word" word } { "effect" effect } }
|
|
{ $description "Gets the stack effect of the word, or throws an error if it doesn't have one." } ;
|
|
|
|
HELP: with-infer
|
|
{ $values { "quot" quotation } { "effect" effect } { "visitor" "a visitor, if any" } }
|
|
{ $description "Initializes the inference engine and then runs the given quotation which is supposed to perform the inferencing." } ;
|
|
|
|
ARTICLE: "stack-checker.backend" "Stack effect inference implementation"
|
|
"Contains words for manipulating the compile-time data and retainstacks:"
|
|
{ $subsections
|
|
peek-d
|
|
pop-d
|
|
pop-literal
|
|
pop-r
|
|
push-d
|
|
push-literal
|
|
push-r
|
|
} ;
|
|
|
|
ABOUT: "stack-checker.backend"
|