第045回_SDDecl

2.9 Standalone Document Declaration
Markup declarations can affect the content of the document, as passed from an XML processor to an application; examples are attribute defaults and entity declarations. The standalone document declaration, which may appear as a component of the XML declaration, signals whether or not there are such declarations which appear external to the document entity or in parameter entities. [Definition: An external markup declaration is defined as a markup declaration occurring in the external subset or in a parameter entity (external or internal, the latter being included because non-validating processors are not required to read them).]

2.9 スタンドアロン文書宣言

Standalone Document Declaration
03. [32] SDDecl ::= S 'standalone' Eq
　　　　　　　　(("'" ('yes' | 'no') "'") | ('"' ('yes' | 'no') '"'))
　　　　　　　　[VC: Standalone Document Declaration]

In a standalone document declaration, the value "yes" indicates that there are no external markup declarations which affect the information passed from the XML processor to the application. The value "no" indicates that there are or may be such external markup declarations. Note that the standalone document declaration only denotes the presence of external declarations; the presence, in a document, of references to external entities, when those entities are internally declared, does not change its standalone status.

スタンドアロン文書宣言

If there are no external markup declarations, the standalone document declaration has no meaning. If there are external markup declarations but there is no standalone document declaration, the value "no" is assumed.

Any XML document for which standalone="no" holds can be converted algorithmically to a standalone document, which may be desirable for some network delivery applications.

外部マークアップ宣言がない場合、スタンドアロン文書宣言は何も意味を持たない。
外部マークアップ宣言がある場合、かつ、スタンドアロン文書宣言がない場合はそれはスタンドアロン文書宣言が"no"としたとみなす。

standalone="no"であるすべてのXML文書は、アルゴリズムによってスタンドアロン文書に変換できる。ネットワークを転送するアプリケーションにとっては、これは望ましいことかもしれない。

Validity constraint: Standalone Document Declaration
The standalone document declaration must have the value "no" if any external markup declarations containdeclarations of:

・	attributes with default values, if elements to which these attributes apply appear in the document without specifications of values for these attributes, or
・	entities (other than amp, lt, gt, apos, quot), if references to those entities appear in the document, or
・	attributes with tokenized types, where the attribute appears in the document with a value such that normalization will produce a different value from that which would be produced in the absence of the declaration, or
・	element types with element content, if white space occurs directly within any instance of those types.

妥当性制約： スタンドアロン文書宣言

5.1 妥当性を検証するプロセッサとしないプロセッサの適合性の要件

4 物理構造の実体の実体参照

整形式性制約: 宣言された実体
妥当性制約 : 宣言された実体

1-1.	スタンドアロン文書宣言がyes 整形式制約: 定義済み実体以外の実体参照のNameは実体宣言の内の一つの名前にマッチしなければならない。属性リスト宣言のデフォルト値に現れる実体参照はそれ以前に宣言してなければならない。

1-2.	スタンドアロン文書宣言がno

2-1.	スタンドアロン文書宣言がyes 整形式制約: 定義済み実体以外の実体参照のNameは実体宣言の内の一つの名前にマッチしなければならない。属性リスト宣言のデフォルト値に現れる実体参照はそれ以前に宣言してなければならない。 適合性の要件: 参照することができないパラメータ実体が現れた後の実体宣言と属性リスト宣言を無視する
2-2.	スタンドアロン文書宣言がno # 妥当性を検証しないので妥当性制約を実施しない。 適合性の要件: 参照することができないパラメータ実体が現れた後の実体宣言と属性リスト宣言を処理する

1-1.	外部マークアップ宣言で宣言した属性値のデフォルト値を適用するとき:妥当性制約違反
1-2.	外部マークアップ宣言で宣言した実体の参照が文書中にあり、実体値に変換しようとするとき。ただし、定義済み実体は除外します。:妥当性制約違反
1-3.	外部マークアップ宣言で宣言した属性値がtokenized typeで、正規化処理を行うことで値が変化するとき:妥当性制約違反
1-4.	要素が要素内容を持ち、直接ホワイトスペースを持つとき:妥当性制約違反

2-1.	外部サブセットを持つ文書(内部サブセットは持っていても、持っていなくても良い) 妥当性制約: 実体参照のNameは実体宣言の内の一つの名前にマッチしなければならない。パラメータ実体参照が現れる場合、それ以前に宣言がなくてはならない。属性リスト宣言のデフォルト値に一般実体が現れる場合、それ以前に宣言がなくてはならない。
2-2.	外部サブセットを持たず内部サブセットを持つ文書

2-3.	外部サブセットも内部サブセットも持たない文書 整形式制約: 定義済み実体以外の実体参照のNameは実体宣言の内の一つの名前にマッチしなければならない。属性リスト宣言のデフォルト値に現れる実体参照はそれ以前に宣言してなければならない。 # DTDを持たないのに実体が宣言できるのか?

public class XmlDeclData
{
    private final static XmlDeclData m_instance = new XmlDeclData();

    //yes = true, no = false, 未宣言 = false
    private boolean m_standalone;
    
    private XmlDeclData()
    {
        m_standalone = false;//デフォルト値はno
    }
    
    public static XmlDeclData getInstance()
    {
        return m_instance;
    }
    
    public boolean isStandalone()
    {
        return m_standalone;
    }

    public void setStandalone(boolean standalone)
    {
        m_standalone = standalone;
    }
}

public class SemanticAnalysisVisitor extends SyntaxParserVisitor
{
    public SemanticAnalysisVisitor()
    {
    }

    @Override
    public void visit(EbnfXmlDeclNode n)
    {
        MakingXmlDeclDataVisitor v = new MakingXmlDeclDataVisitor();
        n.accept(v);

        m_result = v.getResult();
    }
}

public class MakingXmlDeclDataVisitor extends SyntaxParserVisitor
{
    //XMLDeclデータ
    private static XmlDeclData m_data = XmlDeclData.getInstance();

    public MakingXmlDeclDataVisitor()
    {
    }

    @Override
    public void visit(EbnfStandaloneYesNode n)
    {
        Token token = m_tokenManager.nextToken();
        
        m_result = token.match(n);
        
        if (m_result)
        {
            m_data.setStandalone(true);
        }
        else
        {
            //何もしない
        }
    }
}