Skip to main content

System meta-data

ALLFUNCTIONS​

allfunctions( ) -> Bag of Function f
STABLE

All functions in database

allfunctions(Type t) -> Bag of Function
STABLE

All functions having argument or result of type t

ALLOBJECTS​

allobjects( ) -> Bag
STABLE

All surrogate objects in the database

allobjects(Type t) -> Bag o
STABLE

All surrogate objects of type t

ALLSUBTYPES​

allsubtypes(Type t) -> Type
STABLE

All types under type t in type hierarchy

ALLSUPERTYPES​

allsupertypes(Type t) -> Bag of Type
STABLE

All supertypes above type t in the type hierarchy

ALLTYPES​

alltypes( ) -> Bag of Type t
STABLE

All non-parameterized types in database

ARGUMENT_TYPES​

argument_types(Function f) -> Vector of Type
STABLE

The argument types of function f

ARITY​

arity(Function f) -> Integer
STABLE

The number of arguments of function f

ATTRIBUTES​

attributes(Type t) -> Bag of Function
STABLE

The generic names of all single argument functions of typet

CALLEDBY​

calledby(Function f) -> Bag of Function r
STABLE

The functions calling function f

CALLEDBY_SOMEHOW​

calledby_somehow(Function f) -> Bag of Function
STABLE

The functions calling f directly or indirectly

CALLS​

calls(Function f) -> Bag of Function
STABLE

The functions called by function f

CALLS_SOMEHOW​

calls_somehow(Function f) -> Bag of Function g
STABLE

The functions called by function f directly or indirectly

CARDINALITY​

cardinality(Type t) -> Integer
STABLE

The number of objects of type t

EXTENT​

extent(Type t) -> Bag o
STABLE

The objects belonging to type t

extent(Function f) -> Bag of Vector
STABLE

The tuples of function f

FUNCTIONNAMED​

functionnamed(Charstring nm) -> Function f
STABLE

The function named nm

GENERIC​

generic(Function r) -> Function g
STABLE

The generic function of function f

GENERIC_NAME​

generic_name(Function f) -> Charstring
STABLE

The generic name of function f

KINDOFFUNCTION​

kindoffunction(Function f) -> Charstring
STABLE

The kind of fuction f 

 as one of `stored`, `derived`, `foreign`, or `overloaded`

METHODS​

methods(Type t) -> Bag of Function
STABLE

The functions having one argument of type t

NAME​

name(Function f) -> Charstring
STABLE

The name of function f

name(Type t) -> Charstring
STABLE

the name of type t

OS​

os( ) -> Charstring
STABLE

The operating system where this instance of SA Engine runs

RESOLVENTS​

resolvents(Function f) -> Bag of Function
STABLE

The resolvents of function f

resolvents(Charstring fn) -> Bag of Function
STABLE

Resolvents of generic functions whose names match string pattern fn

RESOLVENTTYPE​

resolventtype(Function f) -> Type
STABLE

The type of the first argument of resolvent f

RESULT_TYPES​

result_types(Function f) -> Vector of Type
STABLE

The result types of function f

ROOT_TYPE​

root_type(Type t) -> Type
STABLE

The root type of a parameterized type t

SIGNATURE​

signature(Type t) -> Charstring
STABLE

The signature of type t

signature(Function f) -> Bag of Charstring sig
STABLE

The signature of resolvent f or 

 the signatures of all resolvents of the generic function `f`

signature(Charstring pat) -> Bag of Charstring
STABLE

Signatures of resolvents whose generic function names match string pattern

pat

STATEFUL​

stateful(Charstring pat) -> Bag of Charstring
STABLE

Signatures of stateful resolvents whose generic function names match

string pattern pat

SUBTYPES​

subtypes(Type t) -> Bag of Type
STABLE

The types one level below type t in the type hierarchy

SUPERTYPES​

supertypes(Type t) -> Bag of Type st
STABLE

The types one level above type t in the type hierarchy

SYSTEM​

system( ) -> Charstring
STABLE

The kind of SA Engine system running (prime or nano)

SYSTEM:BLOCK_SIZES​

system:block_sizes()->(Integer id, Integer size)
STABLE

No description.

SYSTEM:FREE_BLOCKS​

system:free_blocks()->(Integer size, Integer blocks, Integer bytes)
STABLE

No description.

SYSTEM:HANDLE_INFO​

system:handle_info()->(Integer size, Integer byte_range, Integer nil_handle)
STABLE

No description.

SYSTEM:IMAGE_INFO​

system:image_info()->(Integer size, Integer used, Integer flash, Integer ram)
STABLE

No description.

SYSTEM:MALLOC_INFO​

system:malloc_info()->(Integer malloc_calls, Integer delayed_deallocations)
STABLE

No description.

SYSTEM:SMALL_INTEGER_CACHE​

system:small_integer_cache()->(Integer min_small_num, Integer max_small_num, Integer bytes_used)
STABLE

No description.

SYSTEM:STACK_INFO​

system:stack_info()->(Integer used_c_stack, Integer varstack_slots, Integer varstack_size, Integer varstack_slack, Integer varstack_slack_size, Integer used_varstack_slots, Integer used_varstack_size)
STABLE

No description.

SYSTEM:STORAGE_TYPES​

system:storage_types()->(Integer id, Charstring name, Integer size, Integer block_size, Integer total_allocated, Integer max_allocated)
STABLE

No description.

THEFUNCTION​

thefunction(Charstring fn) -> Function
STABLE

The function named fn. 

 An error is raised if no function is named `fn`

THEFUNCTIONS​

thefunctions(Vector of Charstring fns) -> Vector of Function
STABLE

Vector of functions with names fns

THERESOLVENT​

theresolvent(Charstring fn) -> Function
STABLE

If fn is the name of a resolvent return it. 

 If `fn` is a generic function with a single resolvent return the resolvent.
 Raise an error if there more than one resolvent of the genetic `fn`

THETBR​

thetbr(Function f, Charstring bpat) -> Function
STABLE

The TBR of function f for binding pattern bpat

THETYPE​

thetype(Charstring tn) -> Type
STABLE

The type named tn. 

 An error is raised if no type is named `tn`

TYPENAMED​

typenamed(Charstring nm) -> Type t
STABLE

The type named nm

TYPEOF_OBJECT​

typeof_object(Object o) -> Type
STABLE

No description.

TYPESIG​

typesig(Object o) -> Bag of Charstring
STABLE

Get the signature of the type of object o

TYPESOF​

typesof(Object) -> Bag of Type
STABLE

The types of object o

USERFUNCTION​

userfunction(Function f)
STABLE

Is function f a user defined function?

USERFUNCTIONS​

userfunctions( ) -> Bag of Function f
STABLE

All user defined functions

USEROBJECT​

userobject(Object o)
STABLE

Is o a user defined object?

USERSUPERTYPES​

usersupertypes(Type t) -> Bag of Type s
STABLE

Find the user defined types above type t in type hierarchy

USERTYPE​

usertype(Type t)
STABLE

Is type t a user defined type?

USERTYPES​

usertypes( ) -> Bag of Type t
STABLE

All user defined types

WIDTH​

width(Function f) -> Integer
STABLE

The width of function f