uk.ac.manchester.cs.jfact.kernel

Class ExpressionManager.ObjectroleNameCreator

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ExpressionManager.ObjectroleNameCreator

All Implemented Interfaces:

NameCreator<ObjectRoleName>

Enclosing class:

ExpressionManager

protected static class ExpressionManager.ObjectroleNameCreator
extends Object
implements NameCreator<ObjectRoleName>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExpressionManager.ObjectroleNameCreator()

Method Summary

Methods

Modifier and Type	Method and Description
ObjectRoleName	makeEntry(String name) create new Named Entry

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionManager.ObjectroleNameCreator

protected ExpressionManager.ObjectroleNameCreator()

Method Detail

makeEntry

public ObjectRoleName makeEntry(String name)

Description copied from interface: NameCreator

create new Named Entry

Specified by:

makeEntry in interface NameCreator<ObjectRoleName>