czt.zxml
Class Reader

java.lang.Object
  |
  +--zeta.session.DefaultAdaptor
        |
        +--czt.zxml.Reader

All Implemented Interfaces:

zeta.session.Adaptor

public class Reader

extends zeta.session.DefaultAdaptor

Inner Class Summary

private class	Reader.closures
(package private) static class	Reader.ControlLocator
private class	Reader.MyEResolver
private static class	Reader.PersistentData A wrapper for serializing the adaptors state.
static class	Reader.SourceInfo
(package private) static class	Reader.UnitInfo Information about a unit.

Field Summary

static zeta.session.ContentType	astContent
private zeta.form.FileForm.State	loadFileState
private zeta.form.TopLevelForm	loadForm
private boolean	needsFlush Whether persistent data needs to be flushed.
private java.util.List	searchPath
private java.util.Map	sourceInfos
private static java.lang.String	startupMessage
(package private) static zeta.session.Locator	thisLocator The locator of control operations of this adaptor.
private static zeta.util.Name	thisName
private java.util.Map	unitInfos

Fields inherited from class zeta.session.DefaultAdaptor

default_locator, handle, session

Constructor Summary

Reader()

Method Summary

void	checkExternalData()
(package private) void	closure$0d(zeta.session.Session s, zeta.session.Locator l, java.lang.Object[] $freevars)
(package private) zeta.format.Format	closure$1d(java.io.File f, java.lang.Object[] $freevars)
zeta.session.ContentType[]	computedTypes()
private void	enterUnits(Reader.SourceInfo sinfo, DocumentToAST scanner, Spec z_spec)
private java.lang.String[]	extractNameComponents(zeta.util.Name name)
void	flush() Flush internal persistent data.
zeta.util.Name	getName()
void	initialize(zeta.session.Session session, zeta.session.StorageHandle handle) Initialize a newly created instance of this adaptor.
boolean	isUptodate(zeta.session.Target target, java.util.Date definedAt)
private boolean	loadSource(java.io.File file)
private java.io.File	locate(java.io.File f)
(package private) java.io.File	locateFile(java.io.File file)
zeta.session.Unit	lookupUnit(zeta.util.Name name)
boolean	notifyOutdate(zeta.session.Target target, java.util.Date definedAt, zeta.session.StorageHandle handle)
private void	reloadSources()
(package private) zeta.session.Diag	reportFileNotFound(java.lang.String refKind, zeta.session.Locator locator, java.lang.String fname)
void	tryCompute(zeta.session.Target target)
private zeta.session.Unit	tryMatch(zeta.util.Name name, java.lang.String[] comps)
zeta.session.Locator	unitLocator(zeta.session.Unit unit)
private void	updateSource(java.io.File file, java.io.File absFile, java.io.File[] auxFiles)

Methods inherited from class zeta.session.DefaultAdaptor

sendDebug, sendDiag, sendDiag, sendDiag, sendError, sendProgress, sendResult, sendResult, sendWarning

Methods inherited from class java.lang.Object

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

Field Detail

thisName

private static final zeta.util.Name thisName

thisLocator

static final zeta.session.Locator thisLocator

The locator of control operations of this adaptor.

startupMessage

private static final java.lang.String startupMessage

sourceInfos

private java.util.Map sourceInfos

unitInfos

private java.util.Map unitInfos

searchPath

private java.util.List searchPath

needsFlush

private boolean needsFlush

Whether persistent data needs to be flushed.

astContent

public static final zeta.session.ContentType astContent

loadFileState

private zeta.form.FileForm.State loadFileState

loadForm

private zeta.form.TopLevelForm loadForm

Constructor Detail

Reader

public Reader()

Method Detail

initialize

public void initialize(zeta.session.Session session,
                       zeta.session.StorageHandle handle)

Initialize a newly created instance of this adaptor.

Overrides:

initialize in class zeta.session.DefaultAdaptor

flush

public void flush()

Flush internal persistent data.

Overrides:

flush in class zeta.session.DefaultAdaptor

getName

public zeta.util.Name getName()

Overrides:

getName in class zeta.session.DefaultAdaptor

computedTypes

public zeta.session.ContentType[] computedTypes()

Overrides:

computedTypes in class zeta.session.DefaultAdaptor

lookupUnit

public zeta.session.Unit lookupUnit(zeta.util.Name name)
                             throws zeta.session.Failures.UnresolvableName,
                                    zeta.session.Failures.AmbigiousName

Overrides:

lookupUnit in class zeta.session.DefaultAdaptor

extractNameComponents

private java.lang.String[] extractNameComponents(zeta.util.Name name)

tryMatch

private zeta.session.Unit tryMatch(zeta.util.Name name,
                                   java.lang.String[] comps)
                            throws zeta.session.Failures.UnresolvableName,
                                   zeta.session.Failures.AmbigiousName

tryCompute

public void tryCompute(zeta.session.Target target)
                throws zeta.session.Failures.ComputationFailed,
                       zeta.session.Failures.CannotCompute

Overrides:

tryCompute in class zeta.session.DefaultAdaptor

isUptodate

public boolean isUptodate(zeta.session.Target target,
                          java.util.Date definedAt)

Overrides:

isUptodate in class zeta.session.DefaultAdaptor

notifyOutdate

public boolean notifyOutdate(zeta.session.Target target,
                             java.util.Date definedAt,
                             zeta.session.StorageHandle handle)

Overrides:

notifyOutdate in class zeta.session.DefaultAdaptor

unitLocator

public zeta.session.Locator unitLocator(zeta.session.Unit unit)

Overrides:

unitLocator in class zeta.session.DefaultAdaptor

locateFile

java.io.File locateFile(java.io.File file)

locate

private java.io.File locate(java.io.File f)

reportFileNotFound

zeta.session.Diag reportFileNotFound(java.lang.String refKind,
                                     zeta.session.Locator locator,
                                     java.lang.String fname)

loadSource

private boolean loadSource(java.io.File file)

reloadSources

private void reloadSources()

checkExternalData

public void checkExternalData()

Overrides:

checkExternalData in class zeta.session.DefaultAdaptor

updateSource

private void updateSource(java.io.File file,
                          java.io.File absFile,
                          java.io.File[] auxFiles)

enterUnits

private void enterUnits(Reader.SourceInfo sinfo,
                        DocumentToAST scanner,
                        Spec z_spec)

closure$0d

void closure$0d(zeta.session.Session s,
                zeta.session.Locator l,
                java.lang.Object[] $freevars)

closure$1d

zeta.format.Format closure$1d(java.io.File f,
                              java.lang.Object[] $freevars)