jsdsi
Class Sequence
java.lang.Object
jsdsi.Obj
jsdsi.Sequence
- All Implemented Interfaces:
- java.io.Serializable
- public class Sequence
- extends Obj
A sequence of SPKI/SDSI objects, typically used to present certs and
validators that prove a particular statement.
- Version:
- $Revision: 1.3.2.1 $ $Date: 2005/11/08 03:12:52 $
- Author:
- Sameer Ajmani, Sean Radford
- See Also:
Proof,
Serialized Form
| Fields inherited from class jsdsi.Obj |
_obj |
|
Constructor Summary |
Sequence(Element[] e)
Creates a new Sequence from a given array of elements. |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Sequence
public Sequence(Element[] e)
- Creates a new
Sequence from a given array of elements.
- Parameters:
e - array of elements to create the Sequence from.
getElements
public Element[] getElements()
- Returns the elements of this
Sequence.
- Returns:
- the elements of this
Sequence.
concat
public Sequence concat(Sequence s)
- Concatenates this
Sequence with a given one.
- Parameters:
s - sequence to concat this sequence with.
- Returns:
- the sequence containing the elements of this sequence
and the elements of
s.
equals
public boolean equals(java.lang.Object o)
- Specified by:
equals in class Obj
- See Also:
Object.equals(Object)
hashCode
public int hashCode()
- Specified by:
hashCode in class Obj
- See Also:
Object.hashCode()
toSexp
public SexpList toSexp()
- Description copied from class:
Obj
- Creates an
SexpList -representation from this SDSI-object.
- Specified by:
toSexp in class Obj
- Returns:
- an
SexpList that represents this SDSI-object.
Copyright © 2002-2006 JSDSI. All Rights Reserved.