de.rwth.i2.attestor.types

Class GeneralType

java.lang.Object

de.rwth.i2.attestor.types.GeneralType

All Implemented Interfaces:

NodeLabel, Type

public final class GeneralType
extends Object
implements Type

A simple implementation of types. For every name of types exactly one object is stored.

Author:

Christoph

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GeneralType.Factory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GeneralType(String name)
protected	GeneralType(String name, boolean primitiveType)

Method Summary

Modifier and Type	Method and Description
void	addSelectorLabel(SelectorLabel selectorLabel, String defaultValue)
Map<SelectorLabel,String>	getSelectorLabels()
boolean	hasSelectorLabel(SelectorLabel selectorLabel) Checks whether a node with this type has an outgoing selector label with the given name.
boolean	isOptional(SelectorLabel selectorLabel)
boolean	isPrimitiveType()
String	toString()
boolean	typeEquals(Object other) Checks whether two types are equal.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.i2.attestor.graph.digraph.NodeLabel

matches

Constructor Detail

GeneralType

protected GeneralType(String name)

Parameters:

name - The name of the type to be created.

GeneralType

protected GeneralType(String name,
                      boolean primitiveType)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

typeEquals

public boolean typeEquals(Object other)

Checks whether two types are equal.

Parameters:

other - Another type.

Returns:

True if and only if two objects refer to the same type.

hasSelectorLabel

public boolean hasSelectorLabel(SelectorLabel selectorLabel)

Description copied from interface: Type

Checks whether a node with this type has an outgoing selector label with the given name.

Specified by:

hasSelectorLabel in interface Type

Parameters:

selectorLabel - The selector label in question

Returns:

true if and only if nodes with this type may have outgoing selector edges with the given name.

addSelectorLabel

public void addSelectorLabel(SelectorLabel selectorLabel,
                             String defaultValue)

Specified by:

addSelectorLabel in interface Type

Parameters:

selectorLabel - the selector label to be added to this type

getSelectorLabels

public Map<SelectorLabel,String> getSelectorLabels()

Specified by:

getSelectorLabels in interface Type

isOptional

public boolean isOptional(SelectorLabel selectorLabel)

Specified by:

isOptional in interface Type

isPrimitiveType

public boolean isPrimitiveType()

Specified by:

isPrimitiveType in interface Type