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

DEEP_EXTENT​

deep_extent(Type tp) -> Object
STABLE

No description.

EXTENT​

extent(Type t) -> Object 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

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(Charstring fn) -> Bag of Charstring
STABLE

Signatures of resolvents whose generic names match string pattern fn

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

The signature of resolvent f or

the signatures of all resolvents of the generic function f

SUBTYPES​

subtypes(Type t) -> Bag of Type
STABLE

The types one level below type t in the type hierarchy

SUPERTYPES​

supertypes(Type t) -> Type
STABLE

The types one level above type t in the type hierarchy

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) -> 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) -> Boolean
STABLE

Is function f a user defined function?

USERFUNCTIONS​

userfunctions( ) -> Bag of Function f
STABLE

All user defined functions

USEROBJECT​

userobject(Object o) -> Boolean
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) -> Boolean
STABLE

Is type t a user defined type?

USERTYPES​

usertypes( ) -> Bag of Type t
STABLE

All user defined types

VREF​

vref(Object o, Object i) -> Object
STABLE

No description.

WIDTH​

width(Function f) -> Integer
STABLE

The width of function f