Module interface:regioner - Regioner interface

Regioner interface. This interface is used for region handling by application programs the the graphics windowing sub-system.

Index

Declarations

regioner_chan.inc:32Record REGIONATTR

DATA TYPE REGIONATTR

Public attributes for a particular region.

regioner_chan.inc:34Variable id

INT

Region ID.

regioner_chan.inc:35Variable ndim

INT

Number of dimensions.

regioner_chan.inc:36Variable start

[REGIONER.MAX.DIM]INT

Starting positions.

regioner_chan.inc:37Variable end

[REGIONER.MAX.DIM]INT

Ending positions.

regioner_chan.inc:38Variable hidden

BOOL

Whether this is currently hidden or not.

regioner_chan.inc:42Protocol P.REGIONER.IN

PROTOCOL P.REGIONER.IN

Regioner input protocol.

regioner_chan.inc:47Tag new.region

new.region; INT; MOBILE []INT

Create a new region, responds with (new.region |~| error).

Parameters:

INT region Region ID.
MOBILE []INT dim Dimensions given as a range pairs for each dimension.

regioner_chan.inc:50Tag del.region

del.region; INT

Delete a region, responds with (ok |~| error).

Parameters:

INT region Region ID.

regioner_chan.inc:54Tag mod.region

mod.region; INT; MOBILE []INT

Modify a region, responds with (ok |~| error).

Parameters:

INT region Region ID.
MOBILE []INT dim Dimensions given as a range pairs for each dimension.

regioner_chan.inc:57Tag in.region

in.region; MOBILE []INT

Determines which region a particular point is in.

Parameters:

MOBILE []INT pos Position (one per dimension).

regioner_chan.inc:60Tag in.regions

in.regions; MOBILE []INT

Determins which region(s) a particular point is in.

Parameters:

MOBILE []INT pos Position (one per dimension).

regioner_chan.inc:63Tag hide.region

hide.region; INT

Mark a region (by ID) as hidden.

Parameters:

INT region Region ID.

regioner_chan.inc:66Tag unhide.region

unhide.region; INT

Mark a region (by ID) as not-hidden.

Parameters:

INT region Region ID.

regioner_chan.inc:70Protocol P.REGIONER.OUT

PROTOCOL P.REGIONER.OUT

Regioner output protocol.

regioner_chan.inc:72Tag ok

ok

Generic success.

regioner_chan.inc:73Tag error

error; INT

Generic error.

regioner_chan.inc:74Tag new.region

new.region; INT

New region successfully created (id returned).

regioner_chan.inc:75Tag in.region

in.region; INT

In specified region (-1 indicates no region).

regioner_chan.inc:76Tag in.regions

in.regions; MOBILE []INT

In specified regions (empty array indicates no regions).

regioner_chan.inc:80Channel type CT.REGIONER

RECURSIVE CHAN TYPE CT.REGIONER

Regioner channel-type.

regioner_chan.inc:82Variable in?

CHAN P.REGIONER.IN

Requests to regioner.

regioner_chan.inc:83Variable out!

CHAN P.REGIONER.OUT

Responses from regioner.

regioner_chan.inc:84Variable return?

CHAN CT.REGIONER!

Used to close the connection to the regioner.