Uses of Class
g2d.npa.Role

Packages that use Role

Package	Description
g2d.npa	This package contains the GUI for the NPA tool.

Uses of Role in g2d.npa

Fields in g2d.npa declared as Role

Modifier and Type	Field and Description
protected Role	SubstitutionEditor.role
protected Role	SubstitutionDialog.role
protected Role	RoleTab.role
protected Role	FreshSetEditor.role
protected Role	FreshSetDialog.role

Fields in g2d.npa with type parameters of type Role

Modifier and Type	Field and Description
protected java.util.ArrayList<Role>	Protocol.roles
protected java.util.HashMap<java.lang.String,Role>	Protocol.rolesByName

Methods in g2d.npa that return Role

Modifier and Type	Method and Description
Role	RoleEditor.getRole()
Role	AttackTable.getRole(int row)
Role	Protocol.getRole(java.lang.String id)
static Role	Role.parse(Algebra algebra, java.lang.Object[] roleArray)
static Role	Role.parse(Algebra algebra, java.lang.Object name, java.lang.Object fresh, java.lang.Object events, java.lang.Object variables)

Methods in g2d.npa with parameters of type Role

Modifier and Type	Method and Description
protected void	RolePanel.addRole(Role role)
boolean	Protocol.addRole(Role role)
void	AttackEditor.addRole(Role role)

Constructors in g2d.npa with parameters of type Role

Constructor and Description
FreshSetEditor(AttackEditor editor, javax.swing.JTable table, Role role)
Protocol(Role[] roles)
Role(java.lang.String name, Role role)
RoleEditor(java.awt.Window parent, AttackEditor editor, Role role)
RoleTab(AttackEditor editor, Role role)
SubstitutionEditor(AttackEditor editor, javax.swing.JTable table, Role role)
SubstitutionTable(AttackEditor e, Role role, Substitution substitution)