Package qilin.core.context

Class ContextElements

java.lang.Object

qilin.core.context.ContextElements

All Implemented Interfaces:

Context

public class ContextElements
extends Object
implements Context

Constructor Summary

Constructors

Constructor	Description
ContextElements(ContextElement[] array, int s)

Method Summary

Modifier and Type	Method	Description
boolean	contains(ContextElement heap)
boolean	equals(Object obj)
ContextElement	get(int i)
ContextElement[]	getElements()
int	hashCode()
boolean	isEmpty()
static ContextElements	newContext(ContextElements c, ContextElement ce, int depth)	Compose a new context by a given context and a heap.
int	size()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

ContextElements

public ContextElements(ContextElement[] array,
 int s)

Method Details

getElements

public ContextElement[] getElements()

get

public ContextElement get(int i)

contains

public boolean contains(ContextElement heap)

isEmpty

public boolean isEmpty()

size

public int size()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

newContext

public static ContextElements newContext(ContextElements c,
 ContextElement ce,
 int depth)

Compose a new context by a given context and a heap. The depth of new context is also required.