Package ora4mas.nopl.tools

Class os2nopl

java.lang.Object

ora4mas.nopl.tools.os2nopl

public class os2nopl
extends java.lang.Object

translate an OS to a NP

Field Summary

Fields

Modifier and Type	Field	Description
private static java.util.Map<java.lang.String,java.lang.String>	argsCode
private static java.util.Map<java.lang.String,java.lang.String>	condCode
private static java.lang.String	NGOAL
static java.lang.String[]	NOP_GR_PROPS
static java.lang.String[]	NOP_NS_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_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 Summary

Constructors

Constructor	Description
os2nopl()

Method Summary

Modifier and Type	Method	Description
static java.lang.String	generateNormEntry(Norm nrm, Cardinality card)
private static void	generateProperties(java.lang.String[] props, NS ns, java.lang.StringBuilder np)
static java.lang.String	header(MoiseElement ele)
private static java.lang.String	roleHierarchy(SS ss)
static java.lang.String	transform(Scheme sch, boolean isSB)	transforms a Scheme Spec into NPL code
static java.lang.String	transform(OS os)	transforms an OS into NPL code
static java.lang.String	transform(Group gr)	transforms a Group Spec into NPL code
static java.lang.String	transform(Role r)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PROP_RoleInGroup

public static final java.lang.String PROP_RoleInGroup

See Also:

Constant Field Values

PROP_RoleCardinality

public static final java.lang.String PROP_RoleCardinality

See Also:

Constant Field Values

PROP_RoleCompatibility

public static final java.lang.String PROP_RoleCompatibility

See Also:

Constant Field Values

PROP_WellFormedResponsible

public static final java.lang.String PROP_WellFormedResponsible

See Also:

Constant Field Values

PROP_SubgroupInGroup

public static final java.lang.String PROP_SubgroupInGroup

See Also:

Constant Field Values

PROP_SubgroupCardinality

public static final java.lang.String PROP_SubgroupCardinality

See Also:

Constant Field Values

PROP_MissionPermission

public static final java.lang.String PROP_MissionPermission

See Also:

Constant Field Values

PROP_LeaveMission

public static final java.lang.String PROP_LeaveMission

See Also:

Constant Field Values

PROP_MissionCardinality

public static final java.lang.String PROP_MissionCardinality

See Also:

Constant Field Values

PROP_AchNotEnabledGoal

public static final java.lang.String PROP_AchNotEnabledGoal

See Also:

Constant Field Values

PROP_AchNotCommGoal

public static final java.lang.String PROP_AchNotCommGoal

See Also:

Constant Field Values

NOP_GR_PROPS

public static final java.lang.String[] NOP_GR_PROPS

NOP_SCH_PROPS

public static final java.lang.String[] NOP_SCH_PROPS

NOP_NS_PROPS

public static final java.lang.String[] NOP_NS_PROPS

NGOAL

private static final java.lang.String NGOAL

See Also:

Constant Field Values

condCode

private static final java.util.Map<java.lang.String,java.lang.String> condCode

argsCode

private static final java.util.Map<java.lang.String,java.lang.String> argsCode

Constructor Detail

os2nopl

public os2nopl()

Method Detail

transform

public static java.lang.String transform(OS os)

transforms an OS into NPL code

transform

public static java.lang.String transform(Group gr)

transforms a Group Spec into NPL code

transform

public static java.lang.String transform(Role r)

roleHierarchy

private static java.lang.String roleHierarchy(SS ss)

transform

public static java.lang.String transform(Scheme sch,
                                         boolean isSB)

transforms a Scheme Spec into NPL code

generateProperties

private static void generateProperties(java.lang.String[] props,
                                       NS ns,
                                       java.lang.StringBuilder np)

generateNormEntry

public static java.lang.String generateNormEntry(Norm nrm,
                                                 Cardinality card)

header

public static java.lang.String header(MoiseElement ele)