<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--NewPage-->
<HTML>
<HEAD>
<!-- Generated by javadoc (build 1.6.0_18) on Fri Dec 09 20:47:48 GMT 2011 -->
<TITLE>
Edge
</TITLE>
<META NAME="date" CONTENT="2011-12-09">
<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../stylesheet.css" TITLE="Style">
<SCRIPT type="text/javascript">
function windowTitle()
{
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Edge";
}
}
</SCRIPT>
<NOSCRIPT>
</NOSCRIPT>
</HEAD>
<BODY BGCOLOR="white" onload="windowTitle();">
<HR>
<!-- ========= START OF TOP NAVBAR ======= -->
<A NAME="navbar_top"><!-- --></A>
<A HREF="#skip-navbar_top" title="Skip navigation links"></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
<TR>
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_top_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../com/saxonica/schema/fsa/DeterminizedState.html" title="class in com.saxonica.schema.fsa"><B>PREV CLASS</B></A>
<A HREF="../../../../com/saxonica/schema/fsa/Edge.MaxOccursParticle.html" title="class in com.saxonica.schema.fsa"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../index.html?com/saxonica/schema/fsa/Edge.html" target="_top"><B>FRAMES</B></A>
<A HREF="Edge.html" target="_top"><B>NO FRAMES</B></A>
<SCRIPT type="text/javascript">
<!--
if(window==top) {
document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');
}
//-->
</SCRIPT>
<NOSCRIPT>
<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>
</NOSCRIPT>
</FONT></TD>
</TR>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
SUMMARY: <A HREF="#nested_class_summary">NESTED</A> | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_top"></A>
<!-- ========= END OF TOP NAVBAR ========= -->
<HR>
<!-- ======== START OF CLASS DATA ======== -->
<H2>
<FONT SIZE="-1">
com.saxonica.schema.fsa</FONT>
<BR>
Class Edge</H2>
<PRE>
<A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</A>
<IMG SRC="../../../../resources/inherit.gif" ALT="extended by "><B>com.saxonica.schema.fsa.Edge</B>
</PRE>
<HR>
<DL>
<DT><PRE>public class <B>Edge</B><DT>extends <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</A></DL>
</PRE>
<P>
Internal class to represent the data associated with a transition:
the element that triggers the transition, and the new state that results
from the transition.
<P>
<P>
<HR>
<P>
<!-- ======== NESTED CLASS SUMMARY ======== -->
<A NAME="nested_class_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
<B>Nested Class Summary</B></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>static class</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.MaxOccursParticle.html" title="class in com.saxonica.schema.fsa">Edge.MaxOccursParticle</A></B></CODE>
<BR>
</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>static class</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.MaxOccursTerm.html" title="class in com.saxonica.schema.fsa">Edge.MaxOccursTerm</A></B></CODE>
<BR>
Special singular Term identifying a transition to be used when the maxOccurs value of
a counting state is reached.</TD>
</TR>
</TABLE>
<!-- =========== FIELD SUMMARY =========== -->
<A NAME="field_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
<B>Field Summary</B></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>static <A HREF="../../../../com/saxonica/schema/fsa/Edge.MaxOccursParticle.html" title="class in com.saxonica.schema.fsa">Edge.MaxOccursParticle</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#MAX_OCCURS_PARTICLE">MAX_OCCURS_PARTICLE</A></B></CODE>
<BR>
Special singular Term identifying a transition to be used when the maxOccurs value of
a counting state is reached.</TD>
</TR>
</TABLE>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<A NAME="constructor_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
<B>Constructor Summary</B></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#Edge()">Edge</A></B>()</CODE>
<BR>
</TD>
</TR>
</TABLE>
<!-- ========== METHOD SUMMARY =========== -->
<A NAME="method_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
<B>Method Summary</B></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../com/saxonica/schema/Particle.html" title="class in com.saxonica.schema">Particle</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#getParticle()">getParticle</A></B>()</CODE>
<BR>
Get the element or wildcard particle causing this transition</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../com/saxonica/schema/fsa/AutomatonState.html" title="class in com.saxonica.schema.fsa">AutomatonState</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#getTargetState()">getTargetState</A></B>()</CODE>
<BR>
Get the (fixed) state that is the target of this edge</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../com/saxonica/schema/Term.html" title="interface in com.saxonica.schema">Term</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#getTerm()">getTerm</A></B>()</CODE>
<BR>
Get the element or wildcard particle causing this transition</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../com/saxonica/schema/fsa/State.html" title="interface in com.saxonica.schema.fsa">State</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#makeTransition(com.saxonica.schema.fsa.State)">makeTransition</A></B>(<A HREF="../../../../com/saxonica/schema/fsa/State.html" title="interface in com.saxonica.schema.fsa">State</A> previousState)</CODE>
<BR>
Get the dynamic state that results from a transition using this edge,
updating any counters that need to be updated</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#matches(com.saxonica.schema.fsa.Edge, com.saxonica.schema.SchemaCompiler)">matches</A></B>(<A HREF="../../../../com/saxonica/schema/fsa/Edge.html" title="class in com.saxonica.schema.fsa">Edge</A> de,
<A HREF="../../../../com/saxonica/schema/SchemaCompiler.html" title="class in com.saxonica.schema">SchemaCompiler</A> compiler)</CODE>
<BR>
Test whether edges in two different finite state machines match each other.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#serialize(com.saxonica.schema.SchemaModelSerializer)">serialize</A></B>(<A HREF="../../../../com/saxonica/schema/SchemaModelSerializer.html" title="class in com.saxonica.schema">SchemaModelSerializer</A> serializer)</CODE>
<BR>
Serialize this Edge as part of the serialization of a schema component model</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#setParticle(com.saxonica.schema.Particle)">setParticle</A></B>(<A HREF="../../../../com/saxonica/schema/Particle.html" title="class in com.saxonica.schema">Particle</A> particle)</CODE>
<BR>
Set the element or wildcard particle causing this transition</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#setTargetState(com.saxonica.schema.fsa.AutomatonState)">setTargetState</A></B>(<A HREF="../../../../com/saxonica/schema/fsa/AutomatonState.html" title="class in com.saxonica.schema.fsa">AutomatonState</A> targetState)</CODE>
<BR>
Set the state resulting from this transition</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../com/saxonica/schema/fsa/Edge.html#setTerm(com.saxonica.schema.Term)">setTerm</A></B>(<A HREF="../../../../com/saxonica/schema/Term.html" title="interface in com.saxonica.schema">Term</A> term)</CODE>
<BR>
Set the element or wildcard particle causing this transition</TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from class java.lang.<A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#clone()" title="class or interface in java.lang">clone</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#equals(java.lang.Object)" title="class or interface in java.lang">equals</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#finalize()" title="class or interface in java.lang">finalize</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#getClass()" title="class or interface in java.lang">getClass</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#hashCode()" title="class or interface in java.lang">hashCode</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#notify()" title="class or interface in java.lang">notify</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#notifyAll()" title="class or interface in java.lang">notifyAll</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#toString()" title="class or interface in java.lang">toString</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#wait()" title="class or interface in java.lang">wait</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#wait(long)" title="class or interface in java.lang">wait</A>, <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/Object.html?is-external=true#wait(long, int)" title="class or interface in java.lang">wait</A></CODE></TD>
</TR>
</TABLE>
<P>
<!-- ============ FIELD DETAIL =========== -->
<A NAME="field_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Field Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="MAX_OCCURS_PARTICLE"><!-- --></A><H3>
MAX_OCCURS_PARTICLE</H3>
<PRE>
public static final <A HREF="../../../../com/saxonica/schema/fsa/Edge.MaxOccursParticle.html" title="class in com.saxonica.schema.fsa">Edge.MaxOccursParticle</A> <B>MAX_OCCURS_PARTICLE</B></PRE>
<DL>
<DD>Special singular Term identifying a transition to be used when the maxOccurs value of
a counting state is reached. This enables content models like a(2,2)a to be treated as non-ambiguous.
See test case modelGroups mg005.
<P>
<DL>
</DL>
</DL>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<A NAME="constructor_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Constructor Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="Edge()"><!-- --></A><H3>
Edge</H3>
<PRE>
public <B>Edge</B>()</PRE>
<DL>
</DL>
<!-- ============ METHOD DETAIL ========== -->
<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="setTargetState(com.saxonica.schema.fsa.AutomatonState)"><!-- --></A><H3>
setTargetState</H3>
<PRE>
public void <B>setTargetState</B>(<A HREF="../../../../com/saxonica/schema/fsa/AutomatonState.html" title="class in com.saxonica.schema.fsa">AutomatonState</A> targetState)</PRE>
<DL>
<DD>Set the state resulting from this transition
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>targetState</CODE> - the state at the end of this edge</DL>
</DD>
</DL>
<HR>
<A NAME="getTargetState()"><!-- --></A><H3>
getTargetState</H3>
<PRE>
public <A HREF="../../../../com/saxonica/schema/fsa/AutomatonState.html" title="class in com.saxonica.schema.fsa">AutomatonState</A> <B>getTargetState</B>()</PRE>
<DL>
<DD>Get the (fixed) state that is the target of this edge
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the state at the end of this edge</DL>
</DD>
</DL>
<HR>
<A NAME="makeTransition(com.saxonica.schema.fsa.State)"><!-- --></A><H3>
makeTransition</H3>
<PRE>
public <A HREF="../../../../com/saxonica/schema/fsa/State.html" title="interface in com.saxonica.schema.fsa">State</A> <B>makeTransition</B>(<A HREF="../../../../com/saxonica/schema/fsa/State.html" title="interface in com.saxonica.schema.fsa">State</A> previousState)
throws <A HREF="../../../../net/sf/saxon/type/ValidationException.html" title="class in net.sf.saxon.type">ValidationException</A></PRE>
<DL>
<DD>Get the dynamic state that results from a transition using this edge,
updating any counters that need to be updated
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>previousState</CODE> - the previous dynamic state before making this transition
<DT><B>Returns:</B><DD>the dynamic state that results from applying this transition
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../net/sf/saxon/type/ValidationException.html" title="class in net.sf.saxon.type">ValidationException</A></CODE> - if this transition is not possible because the occurrence limits are violated</DL>
</DD>
</DL>
<HR>
<A NAME="setTerm(com.saxonica.schema.Term)"><!-- --></A><H3>
setTerm</H3>
<PRE>
public void <B>setTerm</B>(<A HREF="../../../../com/saxonica/schema/Term.html" title="interface in com.saxonica.schema">Term</A> term)</PRE>
<DL>
<DD>Set the element or wildcard particle causing this transition
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>term</CODE> - the term that causes this transition</DL>
</DD>
</DL>
<HR>
<A NAME="getTerm()"><!-- --></A><H3>
getTerm</H3>
<PRE>
public <A HREF="../../../../com/saxonica/schema/Term.html" title="interface in com.saxonica.schema">Term</A> <B>getTerm</B>()</PRE>
<DL>
<DD>Get the element or wildcard particle causing this transition
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the term that causes this transition</DL>
</DD>
</DL>
<HR>
<A NAME="setParticle(com.saxonica.schema.Particle)"><!-- --></A><H3>
setParticle</H3>
<PRE>
public void <B>setParticle</B>(<A HREF="../../../../com/saxonica/schema/Particle.html" title="class in com.saxonica.schema">Particle</A> particle)</PRE>
<DL>
<DD>Set the element or wildcard particle causing this transition
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>particle</CODE> - the particle that causes this transition</DL>
</DD>
</DL>
<HR>
<A NAME="getParticle()"><!-- --></A><H3>
getParticle</H3>
<PRE>
public <A HREF="../../../../com/saxonica/schema/Particle.html" title="class in com.saxonica.schema">Particle</A> <B>getParticle</B>()</PRE>
<DL>
<DD>Get the element or wildcard particle causing this transition
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the particle that causes this transition if known, otherwise null</DL>
</DD>
</DL>
<HR>
<A NAME="matches(com.saxonica.schema.fsa.Edge, com.saxonica.schema.SchemaCompiler)"><!-- --></A><H3>
matches</H3>
<PRE>
public <A HREF="http://download.oracle.com/javase/6/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</A> <B>matches</B>(<A HREF="../../../../com/saxonica/schema/fsa/Edge.html" title="class in com.saxonica.schema.fsa">Edge</A> de,
<A HREF="../../../../com/saxonica/schema/SchemaCompiler.html" title="class in com.saxonica.schema">SchemaCompiler</A> compiler)</PRE>
<DL>
<DD>Test whether edges in two different finite state machines match each other. This is called
while establishing whether one type subsumes another.
<p>From Thompson & Tobin 2003: an edge BE matches another edge DE iff one of the following three
conditions holds: (1) they are labelled as element declarations with the same expanded name;
(2) BE is labelled with a wildcard and DE is labelled with an element declaration in a namespace
allowed by the wildcard; (3) BE and DE are both wildcards and DE's label is an intensional subset
of BE's. In case (3) we add the rule, not in Thompson and Tobin, that the processContents of DE must
be at least as strong as the processContents of BE.</p>
<p>It is also necessary that the types of B and D are compatible, and that their nillability
is compatible, and that their value constraints are compatible, and that the disallowed
substitutions of D is a superset of those of B.</p>
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>de</CODE> - the edge in a finite state machine representing a derived type, and which corresponds
to this edge in the finite state machine for the base type<DD><CODE>compiler</CODE> - user for error reporting
<DT><B>Returns:</B><DD>null if the edges match, or a string explaining the reason for the non-match if not.</DL>
</DD>
</DL>
<HR>
<A NAME="serialize(com.saxonica.schema.SchemaModelSerializer)"><!-- --></A><H3>
serialize</H3>
<PRE>
public void <B>serialize</B>(<A HREF="../../../../com/saxonica/schema/SchemaModelSerializer.html" title="class in com.saxonica.schema">SchemaModelSerializer</A> serializer)
throws <A HREF="../../../../net/sf/saxon/trans/XPathException.html" title="class in net.sf.saxon.trans">XPathException</A></PRE>
<DL>
<DD>Serialize this Edge as part of the serialization of a schema component model
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>serializer</CODE> - object that formats the model output
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../net/sf/saxon/trans/XPathException.html" title="class in net.sf.saxon.trans">XPathException</A></CODE> - if a serialization error occur</DL>
</DD>
</DL>
<!-- ========= END OF CLASS DATA ========= -->
<HR>
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<A NAME="navbar_bottom"><!-- --></A>
<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
<TR>
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_bottom_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../com/saxonica/schema/fsa/DeterminizedState.html" title="class in com.saxonica.schema.fsa"><B>PREV CLASS</B></A>
<A HREF="../../../../com/saxonica/schema/fsa/Edge.MaxOccursParticle.html" title="class in com.saxonica.schema.fsa"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../index.html?com/saxonica/schema/fsa/Edge.html" target="_top"><B>FRAMES</B></A>
<A HREF="Edge.html" target="_top"><B>NO FRAMES</B></A>
<SCRIPT type="text/javascript">
<!--
if(window==top) {
document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');
}
//-->
</SCRIPT>
<NOSCRIPT>
<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>
</NOSCRIPT>
</FONT></TD>
</TR>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
SUMMARY: <A HREF="#nested_class_summary">NESTED</A> | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
<HR>
Copyright (c) 2004-2011 Saxonica Limited. All rights reserved.
</BODY>
</HTML>
