sdsi
Class Validity

java.lang.Object
  |
  +--sdsi.Validity

All Implemented Interfaces:

java.io.Serializable

public class Validity

extends java.lang.Object

implements java.io.Serializable

Author:

Alexander Morcos, Sameer Ajmani

See Also:

Serialized Form

Field Summary

(package private) java.util.Date	notAfterDate
(package private) java.util.Date	notBeforeDate

Constructor Summary

Validity()

Method Summary

static java.util.Date	getDate(SexpString s)
static java.util.Date	getDate(java.lang.String s)
Sexp	getSrep()
Validity	intersectWith(Validity that)
boolean	isRestricted()
void	update(SexpList l)
void	update(Validity other)
void	updateAfter(java.util.Date updateDate)
void	updateBefore(java.util.Date updateDate)
void	updateStrings(java.lang.String beforeString, java.lang.String afterString)
boolean	valid()

Methods inherited from class java.lang.Object

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

Field Detail

notBeforeDate

java.util.Date notBeforeDate

notAfterDate

java.util.Date notAfterDate

Constructor Detail

Validity

public Validity()

Method Detail

intersectWith

public Validity intersectWith(Validity that)

updateStrings

public void updateStrings(java.lang.String beforeString,
                          java.lang.String afterString)
                   throws java.text.ParseException

java.text.ParseException

update

public void update(Validity other)

updateBefore

public void updateBefore(java.util.Date updateDate)

updateAfter

public void updateAfter(java.util.Date updateDate)

update

public void update(SexpList l)
            throws SexpParseException

SexpParseException

getDate

public static java.util.Date getDate(SexpString s)
                              throws SexpParseException

SexpParseException

getDate

public static java.util.Date getDate(java.lang.String s)
                              throws java.text.ParseException

java.text.ParseException

valid

public boolean valid()

isRestricted

public boolean isRestricted()

getSrep

public Sexp getSrep()