All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_unix 

java.lang.Object
   |
   +----kl1.lang.Module
           |
           +----kl1.lang.Module_unix
public final class Module_unix
extends Module

Variable Index

o predicate_append__open_2
o predicate_argc_1
o predicate_argv_1
o predicate_cont_3
o predicate_dummy_0
o predicate_exit_1
o predicate_make__argv__list_3
o predicate_read__open_2
o predicate_stderr_1
o predicate_stdin_1
o predicate_stdio_1
o predicate_stdout_1
o predicate_unix_1
o predicate_update__open_2
o predicate_write__open_2

Constructor Index

o Module_unix()

Method Index

o exec(KL1Machine, Goalrec, Predicate)
Executes goals.
o init(KL1Machine)
Initializes the module.

Variables

o predicate_exit_1 
 public final Predicate predicate_exit_1
o predicate_unix_1 
 public final Predicate predicate_unix_1
o predicate_cont_3 
 public final Predicate predicate_cont_3
o predicate_stdin_1 
 public final Predicate predicate_stdin_1
o predicate_stdout_1 
 public final Predicate predicate_stdout_1
o predicate_stderr_1 
 public final Predicate predicate_stderr_1
o predicate_stdio_1 
 public final Predicate predicate_stdio_1
o predicate_read__open_2 
 public final Predicate predicate_read__open_2
o predicate_write__open_2 
 public final Predicate predicate_write__open_2
o predicate_append__open_2 
 public final Predicate predicate_append__open_2
o predicate_update__open_2 
 public final Predicate predicate_update__open_2
o predicate_argc_1 
 public final Predicate predicate_argc_1
o predicate_argv_1 
 public final Predicate predicate_argv_1
o predicate_make__argv__list_3 
 public final Predicate predicate_make__argv__list_3
o predicate_dummy_0 
 public final Predicate predicate_dummy_0

Constructors

o Module_unix 
 public Module_unix()

Methods

o init 
 public final void init(KL1Machine mach)
Initializes the module.

Overrides:
init in class Module
o 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