de.rwth.i2.attestor.types

Interface Type

All Superinterfaces:

NodeLabel

All Known Implementing Classes:

GeneralType

public interface Type
extends NodeLabel

General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

Author:

Christoph

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()

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

matches

Method Detail

hasSelectorLabel

boolean hasSelectorLabel(SelectorLabel selectorLabel)

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

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

void addSelectorLabel(SelectorLabel selectorLabel,
                      String defaultValue)

Parameters:

selectorLabel - the selector label to be added to this type

getSelectorLabels

Map<SelectorLabel,String> getSelectorLabels()

isOptional

boolean isOptional(SelectorLabel selectorLabel)

isPrimitiveType

boolean isPrimitiveType()