jsdsi
Class Sequence

java.lang.Object
  |
  +--jsdsi.Obj
        |
        +--jsdsi.Sequence

public class Sequence

extends Obj

A sequence of SPKI/SDSI objects, typically used to present certs and validators that prove a particular statement.

Author:

Sameer Ajmani

See Also:

Proof

Constructor Summary

Sequence(Element[] e)

Method Summary

Sequence	concat(Sequence s)
boolean	equals(java.lang.Object o)
Element[]	getElements()
int	hashCode()
(package private) static Sequence	parseSequence(SexpList l)
SexpList	toSexp()

Methods inherited from class jsdsi.Obj

parseObj, parseObj, toByteArray, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Sequence

public Sequence(Element[] e)

Method Detail

getElements

public Element[] getElements()

concat

public Sequence concat(Sequence s)

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class Obj

hashCode

public int hashCode()

Specified by:

hashCode in class Obj

toSexp

public SexpList toSexp()

Specified by:

toSexp in class Obj

parseSequence

static Sequence parseSequence(SexpList l)
                       throws SexpParseException

SexpParseException