g2d.npa

Class Role

java.lang.Object

g2d.npa.Role

public class Role
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Algebra	algebra
java.util.ArrayList<Term>	events
FreshSet	fresh
java.lang.String	name
java.util.HashMap<java.lang.String,java.lang.String>	typeof
java.lang.String[][]	variables

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Role(Algebra algebra, java.lang.String name, java.lang.String[] fresh, java.util.ArrayList<Term> strand, java.lang.String[][] variables)
	Role(Algebra algebra, java.lang.String name, java.lang.String[] fresh, java.lang.Object[][] events, java.lang.String[][] variables)
protected	Role(java.lang.String name, Role role)

Method Summary

Modifier and Type	Method and Description
static Role	parse(Algebra algebra, java.lang.Object[] roleArray)
static Role	parse(Algebra algebra, java.lang.Object name, java.lang.Object fresh, java.lang.Object events, java.lang.Object variables)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

algebra

public final Algebra algebra

name

public final java.lang.String name

fresh

public final FreshSet fresh

variables

public final java.lang.String[][] variables

typeof

public final java.util.HashMap<java.lang.String,java.lang.String> typeof

events

public final java.util.ArrayList<Term> events

Constructor Detail

Role

protected Role(Algebra algebra,
               java.lang.String name,
               java.lang.String[] fresh,
               java.util.ArrayList<Term> strand,
               java.lang.String[][] variables)

Role

public Role(Algebra algebra,
            java.lang.String name,
            java.lang.String[] fresh,
            java.lang.Object[][] events,
            java.lang.String[][] variables)

Role

protected Role(java.lang.String name,
               Role role)

Method Detail

parse

public static Role parse(Algebra algebra,
                         java.lang.Object[] roleArray)

parse

public static Role parse(Algebra algebra,
                         java.lang.Object name,
                         java.lang.Object fresh,
                         java.lang.Object events,
                         java.lang.Object variables)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object