public class os2nopl
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
NOP_GR_PROPS |
static java.lang.String[] |
NOP_SCH_PROPS |
static java.lang.String |
PROP_AchNotCommGoal |
static java.lang.String |
PROP_AchNotEnabledGoal |
static java.lang.String |
PROP_LeaveMission |
static java.lang.String |
PROP_MissionCardinality |
static java.lang.String |
PROP_MissionPermission |
static java.lang.String |
PROP_NotCompGoal |
static java.lang.String |
PROP_RoleCardinality |
static java.lang.String |
PROP_RoleCompatibility |
static java.lang.String |
PROP_RoleInGroup |
static java.lang.String |
PROP_SubgroupCardinality |
static java.lang.String |
PROP_SubgroupInGroup |
static java.lang.String |
PROP_WellFormedResponsible |
Constructor and Description |
---|
os2nopl() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
header(MoiseElement ele) |
static java.lang.String |
transform(Group gr)
transforms a Group Spec into NPL code
|
static java.lang.String |
transform(OS os)
transforms an OS into NPL code
|
static java.lang.String |
transform(Role r) |
static java.lang.String |
transform(Scheme sch)
transforms a Scheme Spec into NPL code
|
public static final java.lang.String PROP_RoleInGroup
public static final java.lang.String PROP_RoleCardinality
public static final java.lang.String PROP_RoleCompatibility
public static final java.lang.String PROP_WellFormedResponsible
public static final java.lang.String PROP_SubgroupInGroup
public static final java.lang.String PROP_SubgroupCardinality
public static final java.lang.String PROP_MissionPermission
public static final java.lang.String PROP_LeaveMission
public static final java.lang.String PROP_MissionCardinality
public static final java.lang.String PROP_AchNotEnabledGoal
public static final java.lang.String PROP_AchNotCommGoal
public static final java.lang.String PROP_NotCompGoal
public static final java.lang.String[] NOP_GR_PROPS
public static final java.lang.String[] NOP_SCH_PROPS
public static java.lang.String transform(OS os)
public static java.lang.String transform(Group gr)
public static java.lang.String transform(Role r)
public static java.lang.String transform(Scheme sch)
public static java.lang.String header(MoiseElement ele)