Package net.ssehub.easy.varModel.model

Class ModelQuery.IncrementalNamespace

java.lang.Object

net.ssehub.easy.varModel.model.ModelQuery.IncrementalNamespace

Enclosing class:

ModelQuery

private static class ModelQuery.IncrementalNamespace
extends Object

Represents an incrementally resolved namespace.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private String	namespaceStart
private String	namespaceTail

Constructor Summary

Constructors

Constructor	Description
IncrementalNamespace(String namespace)	Constructs the namespace object from a given namespace.

Method Summary

Modifier and Type	Method	Description
boolean	hasTail()	Returns whether a namespace tail exists.
(package private) void	shiftRight()	Shift right through the namespace (modifies the attributes).

Methods inherited from class java.lang.Object

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

Field Details

namespaceStart

private String namespaceStart

namespaceTail

private String namespaceTail

Constructor Details

IncrementalNamespace

IncrementalNamespace(String namespace)

Constructs the namespace object from a given namespace.

Parameters:

namespace - the namespace to be resolved

Method Details

shiftRight

void shiftRight()

Shift right through the namespace (modifies the attributes).

hasTail

public boolean hasTail()

Returns whether a namespace tail exists.

Returns:

true if a namespace tail exists, false else