All Packages Class Hierarchy This Package Previous Next Index
Class kl1.lang.Modinfo
java.lang.Object
|
+----kl1.lang.Modinfo
- public class Modinfo
- extends Object
This class represents a module information.
- Author:
- Satoshi KURAMOCHI
-
name
- the name of the module
-
preds
- the predicate informations
-
Modinfo(String, Predinfo[])
- Constructs a module informatino.
name
public String name
- the name of the module
preds
public Predinfo preds[]
- the predicate informations
Modinfo
public Modinfo(String name,
Predinfo preds[])
- Constructs a module informatino.
- Parameters:
- name - the name of the module.
- preds - the predicate informations.
All Packages Class Hierarchy This Package Previous Next Index