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.