All Packages Class Hierarchy This Package Previous Next Index
Class kl1.lang.Module_klicio
java.lang.Object
|
+----kl1.lang.Module
|
+----kl1.lang.Module_klicio
- public final class Module_klicio
- extends Module
-
predicate_addop2_5
-
-
predicate_addop_5
-
-
predicate_close__unix_1
-
-
predicate_compute__string__length_3
-
-
predicate_default__operator__table_1
-
-
predicate_fill__string_4
-
-
predicate_in_3
-
-
predicate_klicio_1
-
-
predicate_klicio_2
-
-
predicate_out_3
-
-
predicate_output__stream_2
-
-
predicate_rmop2_4
-
-
predicate_rmop_4
-
-
predicate_send__unix_3
-
-
predicate_set__string__elements_6
-
-
predicate_string__input_5
-
-
predicate_string__output_4
-
-
predicate_termin_2
-
-
predicate_termout_2
-
-
predicate_termupdt_2
-
-
predicate_update__lc_3
-
-
predicate_updt_3
-
-
Module_klicio()
-
-
exec(KL1Machine, Goalrec, Predicate)
- Executes goals.
-
init(KL1Machine)
- Initializes the module.
predicate_klicio_1
public final Predicate predicate_klicio_1
predicate_klicio_2
public final Predicate predicate_klicio_2
predicate_send__unix_3
public final Predicate predicate_send__unix_3
predicate_close__unix_1
public final Predicate predicate_close__unix_1
predicate_termin_2
public final Predicate predicate_termin_2
predicate_termout_2
public final Predicate predicate_termout_2
predicate_termupdt_2
public final Predicate predicate_termupdt_2
predicate_in_3
public final Predicate predicate_in_3
predicate_out_3
public final Predicate predicate_out_3
predicate_updt_3
public final Predicate predicate_updt_3
predicate_addop_5
public final Predicate predicate_addop_5
predicate_addop2_5
public final Predicate predicate_addop2_5
predicate_rmop_4
public final Predicate predicate_rmop_4
predicate_rmop2_4
public final Predicate predicate_rmop2_4
predicate_default__operator__table_1
public final Predicate predicate_default__operator__table_1
predicate_output__stream_2
public final Predicate predicate_output__stream_2
predicate_string__output_4
public final Predicate predicate_string__output_4
predicate_compute__string__length_3
public final Predicate predicate_compute__string__length_3
predicate_fill__string_4
public final Predicate predicate_fill__string_4
predicate_set__string__elements_6
public final Predicate predicate_set__string__elements_6
predicate_string__input_5
public final Predicate predicate_string__input_5
predicate_update__lc_3
public final Predicate predicate_update__lc_3
Module_klicio
public Module_klicio()
init
public final void init(KL1Machine mach)
- Initializes the module.
- Overrides:
- init in class Module
exec
public Module exec(KL1Machine mach,
Goalrec qp,
Predicate toppred)
- Executes goals.
- Overrides:
- exec in class Module
All Packages Class Hierarchy This Package Previous Next Index