Documentation

Identifiers in C.

Construct a type name from a C identifier.

Construct an expression from a C identifier.

Construct an expression of the size of a C type.

Construct an integer literal in C.

Natively supported sizes in C.

Convert a CSize into an integer.

Convert a CSize into some string identifier of the size.

enum ssm_error, an enumeration of possible runtime errors.

SSM_THROW, throw a runtime error.

ssm_word_t, the largest supported machine word size.

ssm_value_t, runtime representation for sslang values.

Name of the packed_val field in a value_t.

Name of the heap_ptr field in a value_t.

ssm_marshal, construct a value_t out of a 31-bit integral value.

ssm_unmarshal, extract 31-bit integral value out of a value_t.

ssm_on_heap, whether a value_t points to something on the heap.

ssm_dup, increment the reference count of a value.

ssm_dups, increment the reference count on a vector of values.

ssm_drop, drop the reference count of a value and free if necessary.

ssm_time_t, 64-bit time type.

struct ssm_time, the heap-representation of a time_t.

SSM_NEVER, a time_t that is never reached.

ssm_now, the current time.

ssm_new_time, allocate a time_obj_t on the heap.

ssm_time_read, read the time in a time_obj_t.

Read the last_updated field of an ssm_value_t pointing to a scheduled variable.

ssm_priority_t, thread priority.

ssm_depth_t, thread depth.

SSM_ROOT_PRIORITY, the depth of the root process.

SSM_ROOT_DEPTH, the depth of the root process.

ssm_act_t, the generic activation record type.

Name of the program counter field in an act_t.

Name of the caller field in an act_t.

Name of the depth field in an act_t.

Name of the priority field in an act_t.

ssm_trigger_t, nodes in the linked list of triggers.

ssm_enter, allocate and initialize activation record.

ssm_leave, deallocate an activation record before leaving.

ssm_has_children, returns non-zero if act has at least one child.

ssm_activate, schedule an activation record on the ready queue.

ssm_top_parent, Name of top level parent activation record

ssm_sv_t, polymorphic scheduled variables.

ssm_new_sv, allocate a new sv_t on the heap.

ssm_to_sv, retrieve the sv_t pointer pointed to by a value_t.

ssm_deref, read the value of an sv_t pointed to by a value_t.

ssm_assign, assign to a scheduled variable.

ssm_later, schedule a delayed assignment to a scheduled variable.

ssm_sensitize, sensitize a trigger to a variable.

ssm_sensitize, sensitize a trigger to a variable.

ssm_new_adt, allocate a new ADT object on the heap.

ssm_adt_field, access the ith field of an ADT object. Assignable.

ssm_tag, extract the tag of an ADT value.

ssm_closure1_t, the (template) type of a closure with a single argument.

Inintializer for a "static" closure that contains no arguments.

FIXME: An ugly hack that shouldn't exist because John didn't have the foresight to provide an interface to define static closures.

Promote a static object to an ssm_value_t (warning: hacky!).

ssm_new_closure, allocate a new closure object on the heap.

ssm_closure_push, add a new argument to a closure.

ssm_closure_pop, remove an argument from a closure.

ssm_closure_apply, apply a closure to an argument.

ssm_closure_apply, apply a closure to an argument, consuming the closure.

ssm_closure_free, free a closure (without performing reference counting).

Name of the pseudonymous macro from the Linux kernel.

Name of program initialization hook, called to set up program with runtime.

Name of program destruction hook, called before gracefully exiting program.

Name of stdout handler enter function, used to bind stdout for POSIX platforms. NOTE: this is a hack

Name of stdin handler spawner, used to bind stdin for POSIX platforms. NOTE: this is a hack

Name of stdin handler killer, used to destroy handler thread on POSIX. NOTE: this is a hack

Obtain the name of a process activation record struct.

Identifier for act member in act struct.

Obtain the type of a process activation record.

Obtain the process-specific activation record from a generic one.

Obtain the name for the enter function of a routine.

Obtain the name for the static closure of a routine.

Obtain the name of the step function of a routine.

Obtain the name of each trigger for a routine.

Obtain the name of a temporary variable.

Obtain the name of a label.

Obtain the name of an argument variable.

Obtain the name of an argument variable.

Name of return argument.

Identifier for generic (inner) struct act.

Identifier for specialized (outer) struct act.

Access activation record member.

Name of the caller argument of an enter call.

Name of the priority argument of an enter call.

Name of the depth argument of an enter call.

Label to jump to terminate execution.

Cast to a signed integer of a particular size.

Cast to an unsigned integer of a particular size.

Cast to an integer of a particular size and signedness.

Shift left by the specified amount.

Shift right by the specified amount.