Message/Util/PerlCode.dis

Module:
  @QName:
    Util:PerlCode
  @FullName:
    @@lang: en
    @@@:
      Perl Code Constructor
  @Namespace:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/PerlCode#
  
  @Description:
    @@lang:en
    @@@:
      This module provides an object-oriented interface to construct 
      Perl code. 

  @DISCore:author: DISCore|Wakaba
  @License:
    @@@:
      license:Perl+MPL
    @@Original:
      @@@FullName:
        manakai <CODE::lib/manakai/genlib.pl>
      @@@Year:2004
      @@@DISCore:author: DISCore|Wakaba
  @Date:
    @@@:
      $Date: 2005/10/12 14:46:06 $
    @@ContentType:
      dis:Date.RCS
  
  @Require:
    @@Module:
      @@@QName: MDOM|DOMCore
      @@@WithFor: ManakaiDOM|ManakaiDOMLatest

  @DefaultFor: ManakaiDOM|ManakaiDOMLatest

Namespace:
  @DIS:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/DIS#
  @dis:
    http://suika.fam.cx/~wakaba/archive/2004/8/18/lang#dis--
  @dx:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/Error/DOMException#
  @ecore:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/Error/Core/
  @f:
    http://suika.fam.cx/~wakaba/archive/2004/dom/feature#
  @idl:
    http://suika.fam.cx/~wakaba/archive/2004/dis/IDL#
  @kwd:
    http://suika.fam.cx/~wakaba/archive/2005/rfc2119/
  @lang:
    http://suika.fam.cx/~wakaba/archive/2004/8/18/lang#
  @license:
    http://suika.fam.cx/~wakaba/archive/2004/8/18/license#
  @ManakaiDOM:
    http://suika.fam.cx/~wakaba/archive/2004/8/18/manakai-dom#
  @MDOM:
    http://suika.fam.cx/~wakaba/archive/2004/8/18/manakai-dom#ManakaiDOM.
  @MDOMX:
    http://suika.fam.cx/~wakaba/archive/2004/8/4/manakai-dom-exception#
  @mn:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/ManakaiNode#
  @pc:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/PerlCode#
  @rdf:
    http://www.w3.org/1999/02/22-rdf-syntax-ns#
  @rdfs:
    http://www.w3.org/2000/01/rdf-schema#
  @s:
    http://suika.fam.cx/~wakaba/archive/2004/dis/Markup#
  @Util:
    http://suika.fam.cx/~wakaba/archive/2005/manakai/Util/

## -- Module sets

ResourceDef:
  @QName: Util|
  @For: ManakaiDOM|DOM
  @rdf:type: dis|ModuleGroup
  @FullName:
    @@lang:en
    @@@:
      Manakai support modules
  @DISPerl:packageName:
    Message::Util::
  @DISPerl:interfacePackageName:
    @@@:
      Message::Util::IF::
    @@For: ManakaiDOM|ManakaiDOM !ManakaiDOM|ManakaiDOMLatest
  @DISPerl:interfacePackageName:
    @@@:
      Message::Util::IFLatest::
    @@For: ManakaiDOM|ManakaiDOMLatest
  @ImplNote:
    @@lang:en
    @@@:
      Resources <Q::Util|> for <Q::ManakaiDOM|all> and for <Q::ManakaiDOM|Perl>
      is defined in module <Module::Util|ManakaiNode>.

## -- Features

ElementTypeBinding:
  @Name: FeatureDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type: DOMFeature|Feature
    @@For: =ManakaiDOM|all

ElementTypeBinding:
  @Name: FeatureVerDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type: DOMFeature|Feature

ElementTypeBinding:
  @Name: featureQName
  @ElementType:
    DOMFeature:name
  @ShadowContent:
    @@ContentType: DISCore|QName

FeatureDef:
  @QName: CoreFeature
  @featureQName:
    Util:PerlCode
  @FeatureVerDef:
    @@QName: CoreFeature10
    @@Version: 1.0
    @@ISA: CoreFeature
    @@FullName:
      @@@lang:en
      @@@@:
        Perl Code Constructor, version 1.0
    @@Description:
      @@@lang:en
      @@@@:
        Perl Code Constructor, version 1.0.

ElementTypeBinding:
  @Name: IFClsDef
  @ElementType: 
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      @@@@: dis|MultipleResource
      @@@ForCheck: !ManakaiDOM|ForIF !ManakaiDOM|ForClass
    @@resourceFor: ManakaiDOM|ForIF
    @@resourceFor: ManakaiDOM|ForClass
    @@For: ManakaiDOM|ManakaiDOM

    @@rdf:type:
      @@@@: DISLang|Interface
      @@@ForCheck: ManakaiDOM|ForIF

    @@rdf:type:
      @@@@: DISLang|Class
      @@@ForCheck: ManakaiDOM|ForClass
    @@Implement:
      @@@@: ||ManakaiDOM|ManakaiDOM||ManakaiDOM|ForIF
      @@@ContentType: DISCore|TFPQNames
      @@@ForCheck: ManakaiDOM|ForClass ManakaiDOM|ManakaiDOM
    @@Implement:
      @@@@: ||ManakaiDOM|ManakaiDOMLatest||ManakaiDOM|ForIF
      @@@ContentType: DISCore|TFPQNames
      @@@ForCheck: ManakaiDOM|ForClass ManakaiDOM|ManakaiDOMLatest

    @@f:implements: pc|CoreFeature10

ElementTypeBinding:
  @Name: IFClsETDef
  @ElementType: 
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      @@@@: dis|MultipleResource
      @@@ForCheck: !ManakaiDOM|ForIF !ManakaiDOM|ForClass !s|ForML
    @@resourceFor: ManakaiDOM|ForIF
    @@resourceFor: ManakaiDOM|ForClass
    @@resourceFor: s|ForML
    @@For: ManakaiDOM|ManakaiDOM

    @@rdf:type:
      @@@@: DISLang|Interface
      @@@ForCheck: ManakaiDOM|ForIF

    @@rdf:type:
      @@@@: DISLang|Class
      @@@ForCheck: ManakaiDOM|ForClass
    @@Implement:
      @@@@: ||ManakaiDOM|ManakaiDOM||ManakaiDOM|ForIF
      @@@ContentType: DISCore|TFPQNames
      @@@ForCheck: ManakaiDOM|ForClass ManakaiDOM|ManakaiDOM
    @@Implement:
      @@@@: ||ManakaiDOM|ManakaiDOMLatest||ManakaiDOM|ForIF
      @@@ContentType: DISCore|TFPQNames
      @@@ForCheck: ManakaiDOM|ForClass ManakaiDOM|ManakaiDOMLatest

    @@s:elementType:
      @@@@: ||+||s|ForML
      @@@ContentType: DISCore|TFPQNames
      @@@DISCore:stopISARecursive:1

    @@rdf:type:
      @@@@: s|ElementType
      @@@ForCheck: s|ForML

    @@f:implements: pc|CoreFeature10

ElementTypeBinding:
  @Name: IFQName
  @ElementType:
    dis:QName
  @ShadowContent:
    @@ForCheck: ManakaiDOM|ForIF

ElementTypeBinding:
  @Name: CQName
  @ElementType:
    dis:QName
  @ShadowContent:
    @@ForCheck: ManakaiDOM|ForClass

ElementTypeBinding:
  @Name: IFISA
  @ElementType:
    dis:ISA
  @ShadowContent:
    @@ForCheck: ManakaiDOM|ForIF

ElementTypeBinding:
  @Name: CISA
  @ElementType:
    dis:ISA
  @ShadowContent:
    @@ForCheck: ManakaiDOM|ForClass

## -- Classes

IFClsDef:
  @IFQName: PerlCode
  @CQName: ManakaiPCCode

  @CISA: DOMCore|ManakaiDOMElement

  @enDesc:
    A class on which another Perl code classes are constructed based. 

  @Attr:
    @@Name: fileNode
    @@enDesc:
      The root <QUOTE::file> node of the tree to which this node belongs.
    @@Type: PerlCode
    @@Get:
      @@@enDesc:
        The <QUOTE::file> node of the tree.
      @@@nullCase:
        @@@@enDesc:
          This node does not belong to any file tree.
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>
                      -><AG::Document.documentElement>;
            if ($r) {
              unless (defined $r-><AG::Node.namespaceURI> and
                      $r-><AG::Node.namespaceURI> eq <Q::pc:> and
                      $r-><AG::Node.localName> eq 'file') {
                $r = null;
              }
            }
          }__;

  @Method:
    @@Name: replaceVariable
    @@enDesc:
      Replaces a variable. 
      \
      {NOTE:: For objects of type <Class::ManakaiPerlFile>, 
              <Class::ManakaiPerlPackageScope>,
              <Class::ManakaiPerlSub> and
              <Class::ManakaiPerlVariable>, the result is undefined.
      \
      }
    @@Param:
      @@@Name: originalVariable
      @@@Type:
        lang:Perl::ManakaiDOM:all
      @@@enDesc:
        Original variable specification, including prefix. 
        \
        {NOTE:: Qualified name variable and hash key is not supported.
        \
        }
    @@Param:
      @@@Name: newValue
      @@@Type: 
        DOMMain:any::ManakaiDOM:all
      @@@enDesc:
        New value to replace.
      @@@InCase:
        @@@@Type: PerlCode
        @@@@enDesc:
          New Perl code fragment to replace by.
      @@@InCase:
        @@@@Type:
          lang:Perl::ManakaiDOM:all
        @@@@enDesc:
          Inline Perl code fragment string to replace by.
    @@Return:
      @@@PerlDef:
          my $ln = $self-><AG::Node.localName>;
          if ($ln eq 'unparsed' or
              $ln eq 'inlineUnparsed') {
            my $new_var = ref $newValue ? $newValue->stringify : ''.$newValue;
            my $val = $self-><AG::Node.textContent>;
            $val =~ s/\Q$originalVariable\E\b/$new_var/g;
            $self-><AS::Node.textContent> ($val);
          } elsif ($ln eq 'stringLiteral' or $ln eq 'atom' or
                   $ln eq 'tokens') {
            # 
          } elsif ($self-><M::Node.hasChildNodes>) {
            __DEEP{
              my @child_nodes = @{$self-><AG::Node.childNodes>};
              for my $child_node (@child_nodes) {
                if (defined $child_node-><AG::Node.namespaceURI> and
                    $child_node-><AG::Node.namespaceURI> eq <Q::pc:>) {
                  if ($child_node-><AG::Node.localName> eq 'variable') {
                    if (substr ($originalVariable, 0, 1) eq
                          $child_node-><AG::PerlVariable.variableType> and
                        not defined $child_node-><AG::PerlVariable.packageName> and
                        substr ($originalVariable, 1) eq
                          $child_node-><AG::PerlVariable.pcLocalName> and
                        not defined $child_node-><AG::PerlVariable.hashKey>) {
                      if (ref $newValue) {
                        $self-><M::Node.replaceChild> ($child_node => $newValue);
                      } else {  ## ISSUE: Is this correct?
                        $child_node-><M::PerlCodeInlines.appendCode> ($newValue);
                      }
                    }
                  } else {  ## Non-variable child
                    $child_node-><M::PerlCode.replaceVariable>
                                              ($originalVariable => $newValue);
                  }
                } else {
                  # 
                }
              }
            }__;
          } # has child

  @ResourceDef:
    @@ForCheck: ManakaiDOM|ForClass
    @@QName: addNameListAttr
    @@rdf:type: DISPerl|BlockCode
    @@PerlDef:
      my %__mn = map {$_ => true}
                 split /\s+/, $node-><M::Element.getAttributeNS>
                                             (<Q::pc:>, $attrName);
      $__mn{$newName} = true;
      $node-><M::Element.setAttributeNS>
                      (<Q::pc:>, 'pc:'.$attrName => join ' ', keys %__mn);


  @Method:
    @@Name: addUsePerlModuleName
    @@enDesc:
      Adds a Perl module into the list of Perl modules 
      <Perl::use>d by this code fragment.
    @@Param:
      @@@Name: moduleName
      @@@Type: DOMString
      @@@enDesc:
        The name of the module package that should be <Perl::use>d.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'useModuleName',
              $newName => {$moduleName},
            }__;
          }__;

  @Method:
    @@Name: addUseCharClassName
    @@enDesc:
      Adds a Perl module into the list of Perl character classes 
      <Perl::use>d by this code fragment.
    @@Param:
      @@@Name: moduleName
      @@@Type: DOMString
      @@@enDesc:
        The name of the module package that should be <Perl::use>d.
    @@Param:
      @@@Name: charClassName
      @@@Type: DOMString
      @@@enDesc:
        The name of the character class.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'useCharClassName',
              $newName => {$moduleName.'.'.$charClassName},
            }__;
          }__;

  @Method:
    @@Name: addRequirePerlModuleName
    @@enDesc:
      Adds a Perl module into the list of Perl modules 
      <Perl::require>d by this code fragment.
    @@Param:
      @@@Name: moduleName
      @@@Type: DOMString
      @@@enDesc:
        The name of the module package that should be <Perl::require>d.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'requireModuleName',
              $newName => {$moduleName},
            }__;
          }__;

  @Method:
    @@Name: addExceptionInterfacePackageName
    @@enDesc:
      Adds a Perl exception interface into the list of Perl packages.
    @@Param:
      @@@Name: moduleName
      @@@Type: DOMString
      @@@enDesc:
        The name of the interface package.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'exceptionInterfaceName',
              $newName => {$moduleName},
            }__;
          }__;

  @ResourceDef:
    @@ForCheck: ManakaiDOM|ForClass
    @@QName: getNameListAttrR
    @@rdf:type: DISPerl|BlockCode
    @@PerlDef:
      my @__nodes = ($node);
      my %__result;
      while (@__nodes) {
        my $__cnode = shift @__nodes;
        if ($__cnode-><AG::Node.nodeType> == <C::Node.ELEMENT_NODE> and
            defined $__cnode-><AG::Node.namespaceURI> and
            $__cnode-><AG::Node.namespaceURI> eq <Q::pc:>) {
          for (split /\s+/, $__cnode-><M::Element.getAttributeNS>
                               (<Q::pc:>, $attrName)) {
            $__result{$_} = true;
          }
          push @__nodes, @{$__cnode-><AG::Node.childNodes>};
        }
      }
      $result = [sort {$a cmp $b} keys %__result];
  @ResourceDef:
    @@ForCheck: ManakaiDOM|ForClass
    @@QName: getNameListAttr
    @@rdf:type: DISPerl|BlockCode
    @@PerlDef:
       my %__result;
      for (split /\s+/,
                 $node-><M::Element.getAttributeNS> (<Q::pc:>, $attrName)) {
        $__result{$_} = true;
      }
      $result = [sort {$a cmp $b} keys %__result];

  @Method:
    @@Name: getUsePerlModuleNameList
    @@enDesc:
      Returns a list of Perl modules names that is <Perl::use>d
      by this code fragment, including all descendant nodes. 
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        A list of module names.  Note that the list is <EM::dead>; 
        any modification to it does not affect to the code fragment
        and vice versa.
      @@@PerlDef:
          __DEEP{
            __CODE{getNameListAttrR::
              $node => {$self},
              $attrName => 'useModuleName',
              $result => {$r},
            }__;
          }__;

  @Method:
    @@Name: getUseCharClassNameList
    @@enDesc:
      Returns a list of Perl character class names that is <Perl::use>d
      by this code fragment, including all descendant nodes. 
    @@Return:
      @@@Type: DISPerl|HASH||ManakaiDOM|all
      @@@enDesc:
        A list of module names.  Note that the list is <EM::dead>; 
        any modification to it does not affect to the code fragment
        and vice versa.
      @@@PerlDef:
          my $mc;
          __DEEP{
            __CODE{getNameListAttrR::
              $node => {$self},
              $attrName => 'useCharClassName',
              $result => {$mc},
            }__;
          }__;
          for (@$mc) {
            my ($m, $c) = split /\./, $_, 2;
            $r->{$m}->{$c} = true;
          }

  @Method:
    @@Name: getRequirePerlModuleNameList
    @@enDesc:
      Returns a list of Perl modules names that is <Perl::require>d
      by this code fragment, including all descendant nodes. 
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        A list of module names.  Note that the list is <EM::dead>; 
        any modification to it does not affect to the code fragment
        and vice versa.
      @@@PerlDef:
          __DEEP{
            __CODE{getNameListAttrR::
              $node => {$self},
              $attrName => 'requireModuleName',
              $result => {$r},
            }__;
          }__;

  @Method:
    @@Name: getExceptionInterfacePackageNameList
    @@enDesc:
      Returns a list of Perl exception interface package names 
      by this code fragment, including all descendant nodes. 
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        A list of package names.  Note that the list is <EM::dead>; 
        any modification to it does not affect to the code fragment
        and vice versa.
      @@@PerlDef:
          __DEEP{
            __CODE{getNameListAttrR::
              $node => {$self},
              $attrName => 'exceptionInterfaceName',
              $result => {$r},
            }__;
          }__;

  @Method:
    @@Name: disAddRequireURI
    @@enDesc:
      Adds a <QUOTE::dis> resource into the list of <Perl::require>d
      resources of this code fragment.
    @@Param:
      @@@Name: uriArg
      @@@Type: DOMString
      @@@enDesc:
        The URI reference of the resource to add.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'requireResourceURI',
              $newName => {$uriArg},
            }__;
          }__;

  @Method:
    @@Name: disGetRequireURIList
    @@enDesc:
      Returns a list of <QUOTE::dis> resource URI references that is
      <Perl::require>d by this code fragment, including all descendant nodes. 
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        A list of resource URI references.  Note that the list is <EM::dead>; 
        any modification to it does not affect to the code fragment
        and vice versa.
      @@@PerlDef:
          __DEEP{
            __CODE{getNameListAttrR::
              $node => {$self},
              $attrName => 'requireResourceURI',
              $result => {$r},
            }__;
          }__;

  @Method:
    @@ForCheck: ManakaiDOM|ForClass
    @@Operator: DISPerl|CloneMethod
    @@Return:
      @@@Type: PerlCode
      @@@PerlDef:
        __DEEP{
          $r = $self-><M::Node.cloneNode> (true);
        }__;
##PerlCode

PropDef:
  @QName: useModuleName
  @enDesc:
    The list of modules. 

PropDef:
  @QName: pc|exceptionInterfaceName
  @enDesc:
    The list of exception interface packages.

PropDef:
  @QName: useCharClassName
  @enDesc:
    The list of modules. 

PropDef:
  @QName: requireResourceURI
  @enDesc:
    The list of resources.

ElementTypeBinding:
  @Name: ETQName
  @ElementType:
    dis:AppName
  @ShadowContent:
    @@ForCheck: s|ForML
    @@ContentType: DISCore|QName

IFClsETDef:
  @IFQName: PerlFile
  @CQName: ManakaiPCFile
  @ETQName: pc|file

  @IFISA: PerlCode

  @IFISA: PerlCodeStatements
  @CISA: ManakaiPCCodeStatements

  @enDesc:
    Perl source code files.

  @Method:
    @@Name: appendNewPackage
    @@enDesc:
      Appends a new package scope block. 
    @@Param:
      @@@Name: packageName
      @@@Type: DOMString
      @@@enDesc:
        The fully-qualified name of the package to create. 
    @@Return:
      @@@Type: PerlPackage
      @@@enDesc:
        The newly created package scope object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                          (<Q::pc:>, 'package');
            $r-><AS::PerlPackage.packageName> ($packageName);
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: appendPackage
    @@enDesc:
      Appends a Perl package scope object.
    @@Param:
      @@@Name: codeArg
      @@@Type: PerlPackage
      @@@enDesc:
        The package to append.
    @@Return:
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to set a subroutine that is 
          already used elsewhere. 
      @@@PerlDef:
          if ($codeArg-><AG::Node.parentNode>) {
            __EXCEPTION{IN_USE_NODE_ERR::
              pc:childNode => {$codeArg},
              MDOMX:param-name => 'codeArg',
            }__;
          }
          __DEEP{
            $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($codeArg);
            $self-><M::Node.appendChild> ($codeArg);
          }__;

  @Method:
    @@Name: getLastPackage
    @@enDesc:
      Gets the last package scope block of a name. 
    @@Param:
      @@@Name: packageName
      @@@@Type: DOMString
      @@@@enDesc:
        The fully-qualified name of the package to get. 
    @@NamedParam:
      @@@Name: makeNewPackage
      @@@Type: idl|boolean||ManakaiDOM|all
      @@@enDesc:
        Whether a new package scope object should be created if 
        no package of <P::packageName> found. 
      @@@TrueCase:
        @@@@enDesc:
          Makes a new object if not found. 
      @@@FalseCase:
        @@@@enDesc:
          Don't make a new object. 
    @@Return:
      @@@Type: PerlPackage
      @@@enDesc:
        The last package scope object whose name is equal to 
        <P::packageName>.
      @@@nullCase:
        @@@@enDesc:
          There is no <P::packageName> package object and 
          the <P::makeNewPackage> parameter is set to <DOM::false>. 
      @@@PerlDef:
          __DEEP{
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.nodeType> == <C::Node.ELEMENT_NODE> and
                  defined $child-><AG::Node.namespaceURI> and
                  $child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'package') {
                if ($child-><M::Element.getAttributeNS>
                               (<Q::pc:>, 'packageName') eq $packageName) {
                  $r = $child;
                }
              }
            }
            if (not $r and $makeNewPackage) {
              $r = $self-><M::PerlFile.appendNewPackage> ($packageName);
            }
          }__;

  @ATTR:
    @@Name: sourceFile
    @@ATTRQName: pc|sourceFile
    @@enDesc:
      The file name of the source file from which this 
      Perl code is primary generated. 
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ATTR:
    @@Name: sourceModule
    @@ATTRQName: pc|sourceModule
    @@enDesc:
      The name URI reference of the source module that this package defines.
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ATTR:
    @@Name: sourceFor
    @@ATTRQName: pc|sourceFor
    @@enDesc:
      The URI reference of the source module <QUOTE::for> for which this 
      package is. 
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        The Perl code generated. 
      @@@PerlDef:
          __DEEP{
            ## -- Header
            $r = qq<#!/usr/bin/perl \n>;
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                    (q<This file is automatically generated>);
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                   (q<  at >.<ClassM::ManakaiPCImplementation
                                             .rfc3339DateTime> (time).q<,>);
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                    (q< from file ">.$self-><AG::PerlFile.sourceFile>.q<",>);
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                    (q[ module <].$self-><AG::PerlFile.sourceModule>.q[>,]);
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                    (q[ for <].$self-><AG::PerlFile.sourceFor>.q[>.]);
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                    (q<Don't edit by hand!>);
            $r .= qq<use strict;\n>;
            $self-><AS::PerlFile.currentPackage> ('main');
            $self-><AS::PerlFile.currentChunkNumber> (0);

            ## -- Requires
            my $req = $self-><M::PerlCode.getRequirePerlModuleNameList>;
            for my $pack (sort {$a cmp $b} @$req) {
              $r .= qq<require $pack;\n>;
            }

            ## -- Packages and global objects
            my $pack = {};
            for my $child (@{$self-><AG::Node.childNodes>}) {
              $r .= $child->stringify;
              if ($child-><AG::Node.nodeType> == <C::Node.ELEMENT_NODE> and
                  defined $child-><AG::Node.namespaceURI> and
                  $child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'package') {
                for my $ipack (@{$child-><M::PerlPackage
                                             .getImplementPackageNameList>}) {
                  $pack->{$ipack} ||= true; # not defined
                }
                $pack->{$child-><AG::PerlPackage.packageName>} = []; # defined
              }
            }

            ## -- Exception interface packages
            for (sort {$a cmp $b} @{$self-><M::PerlCode
                                     .getExceptionInterfacePackageNameList>}) {
              next if ref $pack->{$_};
              $pack->{$_} = [];
              $r .= sprintf q<push @%s::ISA, 'Message::Util::Error' >.
                            q<unless @%s::ISA;%s>, $_, $_, "\n";
            }

            ## -- Enables interface packages
            my @packs = map {'$' . $_ . '::'}
                        sort {$a cmp $b}
                        grep {not ref $pack->{$_} and $pack->{$_}}
                        keys %$pack;
            $r .= q<for (>. join (', ', @packs) . qq<){}\n> if @packs;

            ## -- Footer
            $r .= <ClassM::ManakaiPCImplementation.perlComment>
                    (q[License: <].$self-><AG::PerlFile.licenseURI>.qq[>\n]);
            $r .= qq<1;\n>;
          }__;

  @Attr:
    @@Name: currentPackage
    @@enDesc:
      The current Perl package (used in stringify method).

      {NOTE:: This attribute is not preserved by the <Perl::clone> operation.
      }
    @@Type: DOMString
    @@Get:
      @@@disDef:
        @@@@GetProp: currentPackage
    @@Set:
      @@@disDef:
        @@@@SetProp: currentPackage

  @Attr:
    @@Name: currentChunkNumber
    @@enDesc:
      The current code chunk number (used in stringify method). 
  
      {NOTE:: This attribute is not preserved by the <Perl::clone> operation.
      }
    @@Type: idl|unsignedLong||ManakaiDOM|all
    @@Get:
      @@@disDef:
        @@@@GetProp: currentChunk
    @@Set:
      @@@disDef:
        @@@@SetProp: currentChunk

  @Method:
    @@Name: getNextChunkNumber
    @@enDesc:
      Increments the current chunk number of this file 
      and returns it. 
    @@Return:
      @@@Type: idl|unsignedLong||ManakaiDOM|all
      @@@enDesc:
        The next chunk number.
      @@@PerlDef:
        $r = ++$self->{<H::mn:node>}->{<H::pc:currentChunk>};
  
  @ATTR:
    @@Name: licenseURI
    @@ATTRQName: pc|license
    @@enDesc:
      The license term URI reference for this code. 
    @@ReflectCDATA:
    @@Get:
    @@Set:
##PerlFile

PropDef:
  @QName: pc|currentChunk
  @enDesc:
    The current chunk number.

PropDef:
  @QName: pc|currentPackage
  @enDesc:
    The current package fully qualified name.

ElementTypeBinding:
  @Name: ReflectCDATA
  @ElementType:
    dis:Type
  @ShadowContent:
    @@@: DOMString
  @ShadowSibling:
    @@actualType: CDATADOMString

ResourceDef:
  @QName: DOMString
  @For: ManakaiDOM|Perl
  @AliasFor: DOMMain|DOMString||ManakaiDOM|ManakaiDOMLatest

ReflectTypeDef:
  @QName: CDATADOMString
  @enDesc:
    <IF::DOMMain:DOMString> for DOM attributes reflecting
    <SGML::CDATA> element attributes.
  @rdfs:subClassOf: DOMString
  @ResourceDef:
    @@rdf:type: DOMMain|ReflectGet
    @@enDesc:
      The DOM attribute returns the current value of the element attribute
      in a transparent, case-sensitive manner.
      \
      If the element attribute is absent, the default value, if any,
      or an empty string is returned.
    @@PerlCDef:
      my $attr_stem;
      __CODE{DOMCore:selectAttrNodeObjectNS::
        $namespaceURI => $NS_URI_NO_NULL,
        $localName => $LOCAL_NAME,
        $r => $attr_stem,
      }__;
      if ($attr_stem) {
        my $attr;
        __CODE{ManakaiNode:getWeakReference||ManakaiDOM:Perl::
          $object => $attr_stem,
          $ref => $attr,
          $class => {<ClassName::DOMCore:ManakaiDOMAttr>},
        }__;
        __CODE{DOMCore:getNodeTextContent::
          $node => $attr,
          $result => $r,
        }__;
      }
      # else : default : empty string

  @ResourceDef:
    @@QName: CDATADOMStringSet
    @@rdf:type: DOMMain|ReflectSet
    @@enDesc:
      The corresponding element attribute is set to the given value,
      in a transparent, case-sensitive manner.
    @@ImplNote:
      @@@lang:en
      @@@@: 
        What will happen if the <DOM::null> value is given?
    @@PerlCDef:
      if (defined $given) {
        my $prefix;
        __CODE{DOMCore:setAttrValueNS::
          $namespaceURI => $NS_URI_NO_NULL,
          $localName => $LOCAL_NAME,
          $prefix => $prefix,
          $element => $self,
          $value => $given,
        }__;
      } else {
        __DEEP{
          $self-><M::Element.removeAttributeNS> ($NS_URI_NO_NULL, $LOCAL_NAME);
        }__;
      }

ElementTypeBinding:
  @Name: ReflectTypeDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type: DISLang|DataType
    @@ForCheck: !ManakaiDOM|IDL
    @@For: ManakaiDOM|DOM

ElementTypeBinding:
  @Name: ATTR
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      @@@@: s|Attribute
      @@@ForCheck: s|ForML
    @@rdf:type:
      @@@@: DISLang|Attribute
      @@@ForCheck: ManakaiDOM|ForClass
    @@rdf:type:
      @@@@: DISLang|Attribute
      @@@ForCheck: ManakaiDOM|ForIF
    @@DocAttr:
      @@@@: ||+||s|ForML
      @@@ContentType: DISCore|TFPQNames
      @@@ForCheck: ManakaiDOM|ForClass
    @@DocAttr:
      @@@@: ||+||s|ForML
      @@@ContentType: DISCore|TFPQNames
      @@@ForCheck: ManakaiDOM|ForIF
    @@ForCheck: !=ManakaiDOM|ManakaiDOM

ElementTypeBinding:
  @Name: ATTRQName
  @ElementType:
    dis:AppName
  @ShadowContent:
    @@ForCheck: s|ForML
    @@ContentType: DISCore|QName

IFClsETDef:
  @IFQName: PerlPackage
  @CQName: ManakaiPCPackage
  @ETQName: pc|package

  @IFISA: PerlCode

  @IFISA: PerlCodeStatements
  @CISA: ManakaiPCCodeStatements

  @enDesc:
    A Perl lexical lines for which a <Perl::package> declaration
    in effect. 

  @ATTR:
    @@Name: packageName
    @@ATTRQName: pc|packageName
    @@ReflectCDATA:
    @@enDesc:
      The fully-qualified package name. 
    @@Get: 
    @@Set:

  @Method:
    @@Name: getSub
    @@enDesc:
      Gets a subroutine. 
    @@Param:
      @@@Name: subName
      @@@Type: DOMString
      @@@enDesc:
        The name of subroutine to get. 
    @@NamedParam:
      @@@Name: makeNewNode
      @@@Type: idl|boolean||ManakaiDOM|all
      @@@enDesc:
        Whether a new subroutine object should be created, 
        if it is not exist, or not. 
    @@Return:
      @@@Type: PerlSub
      @@@enDesc:
        The subroutine object. 
      @@@nullCase:
        @@@@enDesc:
          Either the specified subroutine is not found and 
          the <P::makeNewNode> parameter is set to <DOM::false> or
          the subroutine is defined as an alias. 
      @@@PerlDef:
          __DEEP{
            F: {
              for my $child (@{$self-><AG::Node.childNodes>}) {
                if ($child-><AG::Node.nodeType> == <C::Node.ELEMENT_NODE> and
                    defined $child-><AG::Node.namespaceURI> and
                    $child-><AG::Node.namespaceURI> eq <Q::pc:> and
                    $child-><AG::Node.localName> eq 'sub') {
                  if ($child-><M::PerlSub.hasPerlName> ($subName)) {
                    $r = $child;
                    last F;
                  }
                }
              }
              if ($makeNewNode) {
                $r = $self-><AG::Node.ownerDocument>
                          -><M::Document.createElementNS>
                               (<Q::pc:>, 'sub');
                $r-><M::PerlSub.addPerlName> ($subName);
                $self-><M::Node.appendChild> ($r);
              }
            } # F
          }__;

  @Method:
    @@Name: setSubNode
    @@enDesc:
      Sets a subrotine. 
    @@Param:
      @@@Name: subArg
      @@@Type: PerlSub
      @@@enDesc:
        The subroutine object.
    @@Return:
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to set a subroutine that is 
          already used elsewhere. 
      @@@PerlDef:
          __DEEP{
            if ($subArg-><AG::Node.parentNode>) {
              __UNDEEP{__EXCEPTION{IN_USE_NODE_ERR::
                pc:childNode => {$subArg},
              }__}__;
            }
            $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($subArg);
            $self-><M::Node.appendChild> ($subArg);
          }__;

  @Method:
    @@Name: getOverloadSub
    @@enDesc:
      Gets an overloading subroutine. 
    @@Param:
      @@@Name: opName
      @@@Type:
        DISLang:String::ManakaiDOM:all
      @@@enDesc:
        The name of the overloaded operator. 
    @@NamedParam:
      @@@Name: makeNewNode
      @@@Type:
        DOMMain:boolean::ManakaiDOM:all
      @@@enDesc:
        Whether a new subroutine object should be created, 
        if it is not exist, or not. 
    @@Return:
      @@@Type: PerlSub
      @@@enDesc:
        The subroutine object. 
      @@@nullCase:
        @@@@enDesc:
          Either the specified subroutine is not found and 
          the <P::makeNewNode> parameter is set to <DOM::false> or
          the specified operator is overloaded by specifying method name. 
      @@@UnknownOperatorException:
      @@@PerlDef:
          unless (<Code::operatorNameList>->{$opName}) {
            __EXCEPTION{UNSUPPORTED_OPERATOR_ERR::
              pc:operator => {$opName},
              MDOMX:param-name => 'opName',
            }__;
          }
          __DEEP{
            F: {
              for my $child (@{$self-><AG::Node.childNodes>}) {
                if ($child-><AG::Node.nodeType> == <C::Node.ELEMENT_NODE> and
                    defined $child-><AG::Node.namespaceURI> and
                    $child-><AG::Node.namespaceURI> eq <Q::pc:> and
                    $child-><AG::Node.localName> eq 'sub') {
                  if ($child-><M::PerlSub.hasPerlOperator> ($opName)) {
                    $r = $child;
                    last F;
                  }
                }
              }
              if ($makeNewNode) {
                $r = $self-><AG::Node.ownerDocument>
                          -><M::Document.createElementNS>
                               (<Q::pc:>, 'sub');
                $r-><M::PerlSub.addPerlOperator> ($opName);
                $self-><M::Node.appendChild> ($r);
              }
            } # F
          }__;

  @Method:
    @@Name: addISAPackage
    @@enDesc:
      Adds a class package that this class inherits. 
    @@Param:
      @@@Name: packageName
      @@@Type: DOMString
      @@@enDesc:
        The name of package to add. 
    @@Return:
      @@@PerlDef:
          __DEEP{
            $self-><M::Element.setAttributeNS>
              (<Q::pc:>, 'pc:extends' =>
               join ' ', (split /\s+/, $self-><M::Element.getAttributeNS>
                                           (<Q::pc:>, 'extends')), $packageName);
          }__;

  @Method:
    @@Name: getISAPackageNameList
    @@enDesc:
      Returns a list of names of packages extended by the package.
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        An ordered snapshot list of superpackage names.
      @@@PerlDef:
        __DEEP{
          $r = [split /\s+/, $self-><M::Element.getAttributeNS>
                                (<Q::pc:>, 'extends')];
        }__;

  @Method:
    @@Name: addImplementPackage
    @@enDesc:
      Adds a interface package that this class implements. 
    @@Param:
      @@@Name: packageName
      @@@Type: DOMString
      @@@enDesc:
        The name of package to add.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'implements',
              $newName => {$packageName},
            }__;
          }__;

  @Method:
    @@Name: getImplementPackageNameList
    @@enDesc:
      Returns a list of names of packages implemented by the package.
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        An unordered snapshot list of interface packages.
      @@@PerlDef:
          __DEEP{
            __CODE{getNameListAttr::
              $node => {$self},
              $attrName => 'implements',
              $result => {$r},
            }__;
          }__;

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            my $file = $self-><AG::PerlCode.fileNode>;

            ## Package name
            my $pn = $self-><AG::PerlPackage.packageName>;
            $r .= q<package > . $pn . ";\n";
            $file-><AS::PerlFile.currentPackage> ($pn) if $file;

            ## Package version
            $r .= 'our $VERSION = '.
                <ClassM::ManakaiPCImplementation.versionDateTime> (time).
                ";\n";

            ## Inheritance
            my @isa = (@{$self-><M::PerlPackage.getISAPackageNameList>},
                       sort {$a cmp $b} @{$self-><M::PerlPackage
                                               .getImplementPackageNameList>});
            if (@isa) {
              $r .= 'push our @ISA, ' .
                <ClassM::ManakaiPCImplementation.perlList> (\@isa) .
                ";\n";
            }

            ## Use'ing modules
            for my $pack (sort {$a cmp $b} @{$self-><M::PerlCode
                                                 .getUsePerlModuleNameList>}) {
              $r .= 'use ' . $pack . ";\n";
            }

            my $cls = $self-><M::PerlCode.getUseCharClassNameList>;
            for my $pack (sort {$a cmp $b} keys %$cls) {
              $r .= 'use ' . $pack . ' ' .
                <ClassM::ManakaiPCImplementation.perlList>
                   ([sort {$a cmp $b} grep {$cls->{$pack}->{$_}}
                     keys %{$cls->{$pack}}]) . ";\n";
            }

            ## Package-scope objects
            my $has_bool;
            my $op = '';
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.nodeType> == <C::Node.ELEMENT_NODE> and
                  defined $child-><AG::Node.namespaceURI> and
                  $child-><AG::Node.namespaceURI> eq <Q::pc:>) {
                my $ln = $child-><AG::Node.localName>;
                if ($ln eq 'sub') {
                  my $names = $child-><M::PerlSub.getPerlNameList>;
                  my $ops = $child-><M::PerlSub.getPerlOperatorList>;
                  if (@$names) {
                    $r .= $child->stringify;
                    if (@$names > 1) {
                      $r .= sprintf q<*%s = \&%s;%s>,
                                  $_, $names->[0], "\n" for @$names[1..$#$names];
                    }
                    for (@$ops) {
                      $op .= sprintf q['%s' => '%s', %s],
                                     $_ => $names->[0], "\n";
                      $has_bool = true if $_ eq 'bool';
                    }
                  } else {
                    my $v = $child->stringify;
                    for (@$ops) {
                      $op .= sprintf q['%s' => %s, %s], $_ => $v, "\n";
                      $has_bool = true if $_ eq 'bool';
                    }
                  }
                } else {
                  $r .= $child->stringify;
                }
              } # pc:*
            } # children 

            if (length $op) {
              $r .= "use overload \n";
              $r .= "bool => sub () {1}, \n" unless $has_bool;
              $r .= $op . "fallback => 1;\n";
            }

            ## -- Exports
            my $xport = $self-><M::PerlPackage.getExportList>;
            if (map {values %$_} values %$xport) {
              $r .= q[our %EXPORT_TAG = (] . 
                    <ClassM::ManakaiPCImplementation.perlList>
                       ([map {$_ => [sort {$a cmp $b} keys %{$xport->{$_}}]}
                         sort {$a cmp $b} grep {length}
                         keys %$xport]) . qq[);\n];
              $r .= q[our @EXPORT_OK = (] .
                    <ClassM::ManakaiPCImplementation.perlList>
                       ([map {sort {$a cmp $b} keys %{$xport->{$_}}}
                         sort {$a cmp $b} keys %$xport]) . qq[);\n];
              $r .= q[use Exporter; push our @ISA, 'Exporter';] . qq[\n];
            }
          }__;

  @Method:
    @@Name: getExportList
    @@enDesc:
      Returns a list of export tag and names.
    @@Return:
      @@@Type: DISPerl|HASH||ManakaiDOM|all
      @@@enDesc:
        Snapshot list of lists.
      @@@PerlDef:
          my $mc;
          __DEEP{
            __CODE{getNameListAttr::
              $node => {$self},
              $attrName => 'export',
              $result => {$mc},
            }__;
          }__;
          for (@$mc) {
            my ($m, $c) = split /\./, $_, 2;
            $r->{$m}->{$c} = true;
          }

  @Method:
    @@Name: addExport
    @@enDesc:
      Adds a name to the list of exported items (<Perl::@EXPORT_OK>).
    @@Param:
      @@@Name: exportTag
      @@@Type: DOMString
      @@@enDesc:
        The name of the tag (without <CHAR::COLON> prefix). 
        The <P::exportName> is added both to <Perl::@EXPORT_OK>
        and <Perl::$EXPORT_OK{<P::exportTag>}>.
      @@@nullCase:
        @@@@enDesc:
          The <P::exportName> is added only to the <Perl::@EXPORT_OK>.
    @@Param:
      @@@Name: exportName
      @@@Type: DOMString
      @@@enDesc:
        The name to be exported.
    @@Return:
      @@@PerlDef:
          __DEEP{
            __CODE{addNameListAttr::
              $node => {$self},
              $attrName => 'export',
              $newName => {$exportTag.'.'.$exportName},
            }__;
          }__;
##PCPackage

ElementTypeBinding:
  @Name: UnknownOperatorException
  @ElementType:
    ManakaiDOM:raises
  @ShadowContent:
    @@@:UNSUPPORTED_OPERATOR_ERR
    @@enDesc:
      An attempt is made to overload an unknown operator. 

XParamDef:
  @QName:
    pc:operator
  @enDesc:
    An operator to overload. 

ResourceDef:
  @For: ManakaiDOM|Perl
  @QName: operatorNameList
  @enDesc:
    The list of valid operators for <PerlModule::operator> pragma. 
  @rdf:type: DISPerl|InlineCode
  @PerlCDef:
    {qw[
                    +  1 -  1 *  1 /  1 %  1 **  1 <<  1 >>  1 x  1 .  1
                    += 1 -= 1 *= 1 /= 1 %= 1 **= 1 <<= 1 >>= 1 x= 1 .= 1
                    <  1 <= 1 >  1 >= 1 == 1 != 1 <=> 1
                    lt 1 le 1 gt 1 ge 1 eq 1 ne 1 cmp 1
                    & 1 | 1 ^ 1 neg 1 ! 1 ~ 1
                    ++ 1 -- 1 = 1
                    atan2 1 cos 1 sin 1 exp 1 abs 1 log 1 sqrt 1
                    bool 1 "" 1 0+ 1 ${} 1 @{} 1 %{} 1 &{} 1 *{} 1 <> 1
                    nomethod 1
    ]}

IFClsETDef:
  @IFQName: PerlCodeStatements
  @CQName: ManakaiPCCodeStatements
  @ETQName:
    @@@: pc|statementContainer
    @@ImplNote:
      @@@lang:en
      @@@@: Dummy.

  @IFISA: PerlCodeUnits
  @CISA: ManakaiPCCodeUnits

  @enDesc:
    A base class for node types that contains zero or more
    statements and/or blocks.

  @ATTR:
    @@Name: sourceFile
    @@ATTRQName: pc|sourceFile
    @@enDesc:
      The source file name of this fragment. 
    @@ReflectCDATA:
    @@Get:
      @@@enDesc:
        Any string identifying the source. 
      @@@nullCase:
        @@@@enDesc: No source file name is set. 
    @@Set:
      @@@nullCase:
        @@@@enDesc: No (or unknown) source file. 

  @ATTR:
    @@Name: sourceLine
    @@ATTRQName: pc|sourceLine
    @@enDesc:
      Source file line number of the first line of this fragment. 
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ATTR:
    @@Name: currentSourceFile
    @@ATTRQName: pc|currentSourceFile
    @@enDesc:
      The current source file name that is referred when 
      a code fragment is added. 
    @@ReflectCDATA:
    @@Get:
      @@@nullCase:
        @@@@enDesc: No source file name is set. 
    @@Set:
      @@@nullCase:
        @@@@enDesc: No (or unknown) source file. 

  @ATTR:
    @@Name: currentSourceLine
    @@ATTRQName: pc|currentSourceLine
    @@enDesc:
      The current line number in source file that is referred when 
      a code fragment is added. 
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @Method:
    @@Name: appendCodeFragment
    @@enDesc:
      Appends a <Class::ManakaiPerlCodeFragment> object. 
    @@Param:
      @@@Name: codeArg
      @@@Type: PerlCode
      @@@enDesc:
        A code fragment object. 
    @@Return:
      @@@RaiseException:
        @@@@@:BAD_CHILD_ERR
        @@@@enDesc:
          An attempt is made to append a child
          that is not a <Class::ManakaiPerlUnparsedCode>.
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to append a node that is 
          already used elsewhere. 
      @@@PerlDef:
          if ({
            unparsed => 1, if => 1, statement => 1, block => 1,
            blockContainer => true,
            inlineUnparsed => 1, variable => 1, tokens => 1, atom => 1,
            inlineContainer => 1, stringLiteral => 1, assignment => 1,
          }->{$codeArg-><AG::Node.localName>}) {
            if ($codeArg-><AG::Node.parentNode>) {
              __EXCEPTION{IN_USE_NODE_ERR::
                pc:childNode => {$codeArg},
                MDOMX:param-name => 'codeArg',
              }__;
            }
            __DEEP{
              $self-><AG::Node.ownerDocument>
                   -><M::Document.adoptNode> ($codeArg);
              $self-><M::Node.appendChild> ($codeArg);
            }__;
          } else {
            __EXCEPTION{BAD_CHILD_ERR::
              pc:parentNode => {$self},
              pc:childNode => {$codeArg},
              MDOMX:param-name => 'codeArg',
            }__;
          }

  @Method:
    @@Name: appendCode
    @@enDesc:
      Appends an unparsed Perl code fragment. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        An unparsed Perl code fragment. 
    @@Return:
      @@@Type: PerlUnparsedCode
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                      (<Q::pc:>, 'unparsed');
            $r-><AS::Node.textContent> ($codeArg);
            $r-><AS::PerlCodeStatements.sourceFile>
               ($self-><AG::PerlCodeStatements.currentSourceFile>);
            my $sl = $self-><AG::PerlCodeStatements.currentSourceLine>;
            $r-><AS::PerlCodeStatements.sourceLine> ($sl);
            $self-><AG::PerlCodeStatements.currentSourceLine>
                      ($sl + ($codeArg =~ tr/\x0A/\x0A/));
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: skipLines
    @@enDesc:
      Skips lines in a code. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        A code fragment, which is counted lines. 
    @@Return:
      @@@PerlDef:
        $self->{<H::mn:node>}->{<H::pc:currentSourceLine>}
                            += ($codeArg =~ tr/\x0A/\x0A/);

  @ATTR:
    @@Name: label
    @@ATTRQName: pc|label
    @@enDesc:
      Label for this block.
    @@ReflectCDATA:
    @@Get:
      @@@nullCase:
        @@@@enDesc:
          No label.
    @@Set:
      @@@nullCase:
        @@@@enDesc:
          No label.

  @Method:
    @@Name: appendBlock
    @@enDesc:
      Appends a Perl block code.
    @@Return:
      @@@Type: PerlBlock
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                         (<Q::pc:>, 'block');
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: appendStatement
    @@enDesc:
      Appends a Perl statement.
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        A Perl statement without terminating <Perl::;>.
      @@@nullCase:
        @@@@enDesc:
          No initial content.
    @@Return:
      @@@Type: PerlStatement
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                         (<Q::pc:>, 'statement');
            if (defined $codeArg) {
              $r-><M::PerlCodeUnits.appendBare> ($codeArg);
            }
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: appendNewIf
    @@enDesc:
      Appends a newly created <Class::ManakaiPerlIf> object. 
    @@Param:
      @@@Name: conditionArg
      @@@Type: PerlCode
      @@@enDesc:
        Conditoon code fragment object.
    @@Param:
      @@@Name: trueArg
      @@@Type: PerlCode
      @@@enDesc:
        A true code fragment object. 
      @@@nullCase:
        @@@@enDesc: No true code.
    @@Param:
      @@@Name: falseArg
      @@@Type: PerlCode
      @@@enDesc:
        A false code fragment object. 
      @@@nullCase:
        @@@@enDesc: No false code.
    @@Return:
      @@@Type: PerlIf
      @@@enDesc:
        The newly created element.
      @@@RaiseException:
        @@@@@:BAD_CHILD_ERR
        @@@@enDesc:
          An attempt is made to append a child
          that is not valid type.
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to append a node that is 
          already used elsewhere. 
      @@@PerlDef:
          for my $arg ([conditionArg => $conditionArg]) {
            if ({
              atom => 1, tokens => 1, inlineContainer => 1, assignment => true,
              inlineUnparsed => 1, variable => 1, stringLiteral => true,
            }->{$arg->[1]-><AG::Node.localName>}) {
              if ($arg->[1]-><AG::Node.parentNode>) {
                __EXCEPTION{IN_USE_NODE_ERR::
                  pc:childNode => {$arg->[1]},
                  MDOMX:param-name => {$arg->[0]},
                }__;
              }
            } else {
              __EXCEPTION{BAD_CHILD_ERR::
                pc:parentNode => {$self},
                pc:childNode => {$arg->[1]},
                MDOMX:param-name => {$arg->[0]},
              }__;
            }
          } # c

          for my $arg ([trueArg => $trueArg],
                       [falseArg => $falseArg]) {
            next unless $arg->[1];
            if ({
                  blockContainer => true,
                }->{$arg->[1]-><AG::Node.localName>}) {
              if ($arg->[1]-><AG::Node.parentNode>) {
                __EXCEPTION{IN_USE_NODE_ERR::
                  pc:childNode => {$arg->[1]},
                  MDOMX:param-name => {$arg->[0]},
                }__;
              }
            } else {
              __EXCEPTION{BAD_CHILD_ERR::
                pc:parentNode => {$self},
                pc:childNode => {$arg->[1]},
                MDOMX:param-name => {$arg->[0]},
              }__;
            }
          } # t/f

          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                   (<Q::pc:>, 'if');
            $r-><AS::PerlIf.condition> ($conditionArg);
            $r-><AS::PerlIf.trueCode> ($trueArg) if $trueArg;
            $r-><AS::PerlIf.falseCode> ($falseArg) if $falseArg;
            $self-><M::Node.appendChild> ($r);
          }__;
##PCIf

IFClsETDef:
  @IFQName: PerlSub
  @CQName: ManakaiPCSub
  @ETQName: pc|sub

  @IFISA: PerlCode

  @IFISA: PerlCodeStatements
  @CISA: ManakaiPCCodeStatements

  @enDesc:
    Perl subroutines.   

  @Attr:
    @@Name: pcLocalName
    @@enDesc:
      The name of this subroutine. 
    @@Type: DOMString
    @@Get: 
      @@@nullCase:
        @@@@enDesc:
          This subroutine has no name. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::PerlSub.getPerlNameList>->[0];
          }__;

  @Method:
    @@Name: addPerlName
    @@enDesc:
      Adds a subroutine name.
    @@Param:
      @@@Name: subName
      @@@Type: DOMString
      @@@enDesc: The name to add.
    @@Return:
      @@@PerlDef:
        __DEEP{
          __CODE{addNameListAttr::
            $node => {$self},
            $attrName => 'localName',
            $newName => {$subName},
          }__;
        }__;

  @Method:
    @@Name: getPerlNameList
    @@enDesc:
      Returns a list of names of the subroutine.
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        An unordered snapshot list of names.
      @@@PerlDef:
        __DEEP{
          __CODE{getNameListAttr::
            $node => {$self},
            $attrName => 'localName',
            $result => {$r},
          }__;
        }__;

  @Method:
    @@Name: hasPerlName
    @@enDesc:
      Returns whether the subroutine has a name or not.
    @@Param:
      @@@Name: subName
      @@@Type: DOMString
      @@@enDesc: The name.
    @@Return:
      @@@Type: idl|boolean||ManakaiDOM|all
      @@@PerlDef:
        __DEEP{
          my $l;
          __CODE{getNameListAttr::
            $node => {$self},
            $attrName => 'localName',
            $result => {$l},
          }__;
          F: for (@$l) {
            if ($_ eq $subName) {
              $r = true;
              last F;
            }
          }
        }__;

  @Method:
    @@Name: addPerlOperator
    @@enDesc:
      Adds an operator overloaded by the method.
    @@Param:
      @@@Name: op
      @@@Type: DOMString
      @@@enDesc: The operator to add.
    @@Return:
      @@@PerlDef:
        __DEEP{
          __CODE{addNameListAttr::
            $node => {$self},
            $attrName => 'operator',
            $newName => {$op},
          }__;
        }__;

  @Method:
    @@Name: getPerlOperatorList
    @@enDesc:
      Returns a list of operators of the subroutine.
    @@Return:
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        An unordered snapshot list of operators.
      @@@PerlDef:
        __DEEP{
          __CODE{getNameListAttr::
            $node => {$self},
            $attrName => 'operator',
            $result => {$r},
          }__;
        }__;

  @Method:
    @@Name: hasPerlOperator
    @@enDesc:
      Returns whether the subroutine has an operator or not.
    @@Param:
      @@@Name: op
      @@@Type: DOMString
      @@@enDesc: The operator.
    @@Return:
      @@@Type: idl|boolean||ManakaiDOM|all
      @@@PerlDef:
        __DEEP{
          my $l;
          __CODE{getNameListAttr::
            $node => {$self},
            $attrName => 'operator',
            $result => {$l},
          }__;
          F: for (@$l) {
            if ($_ eq $op) {
              $r = true;
              last F;
            }
          }
        }__;

  @ATTR:
    @@Name: prototype
    @@ATTRQName: pc|prototype
    @@enDesc:
      The prototype of this subroutine. 
    @@ReflectCDATA:
    @@Get:
      @@@nullCase:
        @@@@enDesc:
          No prototype is set. 
    @@Set:
      @@@nullCase:
        @@@@enDesc:
          No prototype declaration. 
  
  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = q<sub>;
            my $nm = $self-><M::PerlSub.getPerlNameList>;
            $r .= q< > . $nm->[0] if @$nm;
            my $pt = $self-><AG::PerlSub.prototype>;
            $r .= q< (> . $pt . q<)> if length $pt;
            $r .= qq< {\n>;
            for my $child (@{$self-><AG::Node.childNodes>}) {
              $r .= $child->stringify;
            }
            $r .= qq<}\n>;
          }__;

  @NumValMethod:
    @@Return:
      @@@Type: idl|unsignedLong||ManakaiDOM|all
      @@@PerlDef:
          __DEEP{
            $r = 0 + $self-><AG::Node.lastChild>;
          }__;
##PCSub

XParamDef:
  @QName: parentNode
  @enDesc:
    Parent node. 

XParamDef:
  @QName: childNode
  @enDesc:
    Child node. 

IFClsETDef:
  @IFQName: PerlUnparsedCode
  @CQName: ManakaiPCUnparsedCode
  @ETQName: pc|unparsed

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Unparsed Perl code fragments. 

  @ATTR:
    @@Name: sourceFile
    @@ATTRQName: pc|sourceFile
    @@enDesc:
      The source file name of this fragment. 
    @@ReflectCDATA:
    @@Get:
      @@@enDesc:
        Any string identifying the source. 
      @@@nullCase:
        @@@@enDesc: No source file name is set. 
    @@Set:
      @@@nullCase:
        @@@@enDesc: No (or unknown) source file. 

  @ATTR:
    @@Name: sourceLine
    @@ATTRQName: pc|sourceLine
    @@enDesc:
      Source file line number of the first line of this fragment. 
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.textContent>;
            my $file = $self-><AG::PerlCode.fileNode>;
            my $src_file = $file ? $file-><AG::PerlFile.sourceFile> : '';
            my $nxt_cnum = $file ? $file-><M::PerlFile.getNextChunkNumber> : 0;
            $r = sprintf qq<\n#line %d "%s [u] (Chunk #%d)"\n%s>.
                         qq<\n#line 1 "%s [/u] (Chunk #%d)"\n>,
                         $self-><AG::PerlUnparsedCode.sourceLine> || 1,
                         $self-><AG::PerlUnparsedCode.sourceFile> || $src_file,
                         $file ? $file-><M::PerlFile.getNextChunkNumber> : 0,
                         $self-><AG::Node.textContent>,
                         $src_file,
                         $file ? $file-><M::PerlFile.getNextChunkNumber> : 0;
          }__;
##PerlUnparsedCode

IFClsETDef:
  @IFQName: PerlInlineUnparsedCode
  @CQName: ManakaiPCInlineUnparsedCode
  @ETQName: pc|inlineUnparsed

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Unparsed Perl inline code fragments.   

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code.
      @@@disDef:
        @@@@DISPerl:cloneCode: DOMCore|ManakaiDOMNode.textContent.get
##PCInlineUnparsedCode

IFClsETDef:
  @IFQName: PerlStringLiteral
  @CQName: ManakaiPCPerlStringLiteral
  @ETQName: pc|stringLiteral

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Perl string literal.  

  @NumValMethod:
    @@Return:
      @@@Type: idl|unsignedLong||ManakaiDOM|all
      @@@enDesc:
        Numeric value of the Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = 0 + $self-><AG::Node.textContent>;
          }__;

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.textContent>;
            $r =~ s/(['\\])/\\$1/g;
            $r = q<'> . $r . q<'>;
          }__;
##PerlStringLiteral

IFClsETDef:
  @IFQName: PerlTokens
  @CQName: ManakaiPCTokens
  @ETQName: pc|tokens

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Unparsed Perl inline code fragments.   

  @ToStringMethod:
    @@Return:
      @@@Type:
        DISLang:String::ManakaiDOM:all
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.textContent>;
          }__;
##PCTokens

IFClsETDef:
  @IFQName: PerlAtom
  @CQName: ManakaiPCAtom
  @ETQName: pc|atom

  @IFISA: PerlCode
  @CISA: ManakaiPCTokens

  @enDesc:
    Unparsed Perl atomic code fragments (such as numeric literal). 
  
  @NumValMethod:
    @@Return:
      @@@Type: idl|unsignedLong||ManakaiDOM|all
      @@@enDesc:
        Numeric value of the Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = 0 + $self-><AG::Node.textContent>;
          }__;

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.textContent>;
          }__;
##PerlAtom

IFClsETDef:
  @IFQName: PerlVariable
  @CQName: ManakaiPCVariable
  @ETQName: pc|variable

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Unparsed Perl variable. 
    \
    {NOTE:: Future version of the implementation may 
            support to specify array index or hash key.
     \
    }  

  @ATTR:
    @@Name: variableType
    @@ATTRQName: pc|variableType
    @@enDesc:
      Perl variable type (<CODE::$>, <CODE::@>, <CODE::%>,
      <CODE::&> or empty string). 
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ATTR:
    @@Name: packageName
    @@ATTRQName: pc|packageName
    @@enDesc:
      The name of the package to which this variable belongs.
    @@ReflectCDATA:
    @@Get:
      @@@nullCase:
        @@@@enDesc:
          This package belongs to the current package or 
          does not belong to any package.
    @@Set:
      @@@nullCase:
        @@@@enDesc:
          This package belongs to the current package or
          does not belong to any package.

  @ATTR:
    @@Name: pcLocalName
    @@ATTRQName: pc|localName
    @@enDesc:
      The local variable name.
    @@ReflectCDATA:
    @@Get:
    @@Set:

  @ATTR:
    @@Name: variableScope
    @@ATTRQName: pc|variableScope
    @@enDesc:
      Scope modifier (<CODE::my> or <CODE::our> or <CODE::local>).
    @@ReflectCDATA:
    @@Get:
      @@@nullCase:
        @@@@enDesc:
          This variable does not have scope modifier.
    @@Set:
      @@@nullCase:
        @@@@enDesc:
          This variable does not have scope modifier.

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            my $t = $self-><AG::PerlVariable.variableScope>;
            $r .= $t . ' ' if length $t;
            $r .= $self-><AG::PerlVariable.variableType>;
            my $v = $self-><AG::PerlVariable.packageName>;
            $r .= $v . '::' if length $v;
            $r .= $self-><AG::PerlVariable.pcLocalName>;
            $v = $self-><AG::PerlVariable.hashKey>;
            if ($t eq '$' and length $v) {
              $v =~ s/(['\\])/\\$1/g;
              $r .= q<{'> . $v . q<'}>;
            }
          }__;

  @ATTR:
    @@Name: hashKey
    @@ATTRQName: pc|hashKey
    @@enDesc:
      The key for hash. 
      \
      {NOTE:: Using Perl code for key is not supported in the current
              version of the implementation.
      \
      }
    @@ReflectCDATA:
    @@Get:
      @@@nullCase:
        @@@@enDesc:
          This variable is not for hash value access.
    @@Set:
      @@@nullCase:
        @@@@enDesc:
          This variable is not for hash value access.
##PerlVariable

IFClsDef:
  @IFQName: PerlCodeUnits
  @CQName: ManakaiPCCodeUnits

  @CISA: ManakaiPCCode

  @enDesc:
    A base class implemented by both inline container and
    block-level container.
  
  @Attr:
    @@Name: length
    @@enDesc:
      The number of child code fragments. 
    @@Type: idl|unsignedLong||ManakaiDOM|all
    @@Get:
      @@@PerlDef:
          __DEEP{
            $r = @{$self-><AG::Node.childNodes>};
          }__;

  @Method:
    @@Name: appendStringLiteral
    @@enDesc:
      Appends a Perl string literal (<CODE::q>).
    @@Param:
      @@@Name: stringArg
      @@@Type: DOMString
      @@@enDesc:
        A string.
    @@Return:
      @@@Type: PerlStringLiteral
      @@@enDesc:
        The newly created Perl string literal object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                           (<Q::pc:>, 'stringLiteral');
            $r-><AS::Node.textContent> ($stringArg);
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: appendAtom
    @@enDesc:
      Appends a Perl atomic code fragment.
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        An atom.
    @@Return:
      @@@Type: PerlAtom
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                   (<Q::pc:>, 'atom');
            $r-><AS::Node.textContent> ($codeArg);
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: appendBare
    @@enDesc:
      Appends a Perl bare code fragment.
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        An bare code.
    @@Return:
      @@@Type: PerlBare
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                   (<Q::pc:>, 'tokens');
            $r-><AS::Node.textContent> ($codeArg);
            $self-><M::Node.appendChild> ($r);
          }__;

  @Method:
    @@Name: appendNewAssignment
    @@enDesc:
      Appends a newly created <Class::ManakaiPerlAssign> object. 
    @@Param:
      @@@Name: leftArg
      @@@Type: PerlCode
      @@@enDesc:
        A left hand side code fragment object. 
    @@Param:
      @@@Name: rightArg
      @@@Type: PerlCode
      @@@enDesc:
        A right hand side code fragment object. 
    @@Return:
      @@@Type: PerlAssignment
      @@@RaiseException:
        @@@@@:BAD_CHILD_ERR
        @@@@enDesc:
          An attempt is made to append a child
          that is not valid type.
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to append a node that is 
          already used elsewhere. 
      @@@PerlDef:
          for my $arg ([leftArg => $leftArg], [rightArg => $rightArg]) {
            if ({
              atom => 1, tokens => 1, inlineContainer => 1, assignment => true,
              inlineUnparsed => 1, variable => 1, stringLiteral => true,
            }->{$arg->[1]-><AG::Node.localName>}) {
              if ($arg->[1]-><AG::Node.parentNode>) {
                __EXCEPTION{IN_USE_NODE_ERR::
                  pc:childNode => {$arg->[1]},
                  MDOMX:param-name => {$arg->[0]},
                }__;
              }
            } else {
              __EXCEPTION{BAD_CHILD_ERR::
                pc:parentNode => {$self},
                pc:childNode => {$arg->[1]},
                MDOMX:param-name => {$arg->[0]},
              }__;
            }
          } # left/right

          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                (<Q::pc:>, 'assignment');
            $r-><AS::PerlAssignment.leftCode> ($leftArg);
            $r-><AS::PerlAssignment.rightCode> ($rightArg);
            $self-><M::Node.appendChild> ($r);
          }__;
##PCAssignment

IFClsETDef:
  @IFQName: PerlStatement
  @CQName: ManakaiPCStatement
  @ETQName: pc|statement

  @IFISA: PerlCode
  @IFISA: PerlCodeInlines
  @CISA: ManakaiPCCodeInlines

  @enDesc:
    Perl statements.   

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
        $r = $self->SUPER::stringify;
        $r .= ";\n" if length $r;
##PerlStatement

IFClsETDef:
  @IFQName: PerlCodeInlines
  @CQName: ManakaiPCCodeInlines
  @ETQName: pc|inlineContainer

  @CISA: ManakaiPCCodeUnits

  @enDesc:
    Unparsed Perl inline code block.   

  @Method:
    @@Name: appendCodeFragment
    @@enDesc:
      Appends a <IF::PerlCode> object. 
    @@Param:
      @@@Name: codeArg
      @@@Type: PerlCode
      @@@enDesc:
        A code fragment object. 
    @@Return:
      @@@RaiseException:
        @@@@@:BAD_CHILD_ERR
        @@@@enDesc:
          An attempt is made to append a child
          that is not a <Class::ManakaiPerlUnparsedCode>.
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to append a node that is 
          already used elsewhere. 
      @@@PerlDef:
          if ({
            atom => 1, tokens => 1, inlineContainer => 1, assignment => true,
            inlineUnparsed => 1, variable => 1, stringLiteral => true,
          }->{$codeArg-><AG::Node.localName>}) {
            if ($codeArg-><AG::Node.parentNode>) {
              __EXCEPTION{IN_USE_NODE_ERR::
                pc:childNode => {$codeArg},
              }__;
            }
            __DEEP{
              $self-><AG::Node.ownerDocument>
                   -><M::Document.adoptNode> ($codeArg);
              $self-><M::Node.appendChild> ($codeArg);
            }__;
          } else {
            __EXCEPTION{BAD_CHILD_ERR::
              pc:parentNode => {$self},
              pc:childNode => {$codeArg},
            }__;
          }

  @Method:
    @@Name: appendCode
    @@enDesc:
      Appends an unparsed Perl code fragment. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        An unparsed Perl code fragment. 
    @@Return:
      @@@Type: PerlInlineUnparsedCode
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::Node.ownerDocument>-><M::Document.createElementNS>
                                                (<Q::pc:>, 'inlineUnparsed');
            $r-><AS::Node.textContent> ($codeArg);
            $self-><M::Node.appendChild> ($r);
          }__;

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            my @child = @{$self-><AG::Node.childNodes>};
            for my $child (@child) {
              if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'inlineContainer' and
                  1 == @child) {
                $r .= '(' . $child->stringify . ')';
              } else {
                $r .= $child->stringify;
              }
            }
          }__;
##PCCodeInlines

IFClsETDef:
  @IFQName: PerlBlock
  @CQName: ManakaiPCBlock
  @ETQName: pc|block

  @IFISA: PerlCode
  @IFISA: PerlCodeStatements
  @CISA: ManakaiPCCodeStatements

  @enDesc:
    Perl block-level code block.   

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          my @child = @{$self-><AG::Node.childNodes>};
          if (@child == 1 and 
              $child[0]-><AG::Node.localName> eq 'block') {
            $r = $child[0]->stringify;
          } elsif (@child == 1 and
                   $child[0]-><AG::Node.localName> eq 'unparsed' and
                   $child[0]-><AG::Node.textContent> =~ /^\s*$/) {
            # 
          } else {
            for my $child (@child) {
              if ($child-><AG::Node.localName> eq 'inlineContainer' and
                  1 == @child) {
                $r .= '(' . $child->stringify . ')';
              } else {
                $r .= $child->stringify;
              }
            }

            __DEEP{
              my $file = $self-><AG::PerlCode.fileNode>;
              my $sfile = $file ? $file-><AG::PerlFile.sourceFile> : '';
              $r = sprintf qq<\n{\n#line %d "%s [b] (Chunk #%d)"\n%s>.
                           qq<\n#line 1 "%s [/b] (Chunk #%d)"\n}\n>,
                           $self-><AG::PerlCodeStatements.sourceLine> || 1,
                           $self-><AG::PerlCodeStatements.sourceFile> || $sfile,
                           $file ? $file-><M::PerlFile.getNextChunkNumber> : 0,
                           $r,
                           $sfile,
                           $file ? $file-><M::PerlFile.getNextChunkNumber> : 0
                if length $r;
            }__;
          }
##PCBlock

IFClsETDef:
  @IFQName: PerlCodeBlocks
  @CQName: ManakaiPCCodeBlocks
  @ETQName: pc|blockContainer

  @IFISA: PerlCodeStatements
  @CISA: ManakaiPCCodeStatements

  @enDesc:
    Perl block-level code container whose content may or may
    not semantically be self-contained. 
  
  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          my @child = @{$self-><AG::Node.childNodes>};
          if (@child == 1 and 
              {
                block => true, blockContainer => true,
              }->{$child[0]-><AG::Node.localName>}) {
            $r = $child[0]->stringify;
          } else {
            for my $child (@child) {
              if ($child-><AG::Node.localName> eq 'inlineContainer' and
                  1 == @child) {
                $r .= '(' . $child->stringify . ')';
              } else {
                $r .= $child->stringify;
              }
            }

            __DEEP{
              my $file = $self-><AG::PerlCode.fileNode>;
              my $sfile = $file ? $file-><AG::PerlFile.sourceFile> : '';
              $r = sprintf qq<\n#line %d "%s [bc] (Chunk #%d)"\n%s>.
                           qq<\n#line 1 "%s [/bc] (Chunk #%d)"\n>,
                           $self-><AG::PerlCodeStatements.sourceLine> || 1,
                           $self-><AG::PerlCodeStatements.sourceFile> || $sfile,
                           $file ? $file-><M::PerlFile.getNextChunkNumber> : 0,
                           $r,
                           $sfile,
                           $file ? $file-><M::PerlFile.getNextChunkNumber> : 0;
            }__;
          }
##PCCodeBlocks

IFClsETDef:
  @IFQName: PerlAssignment
  @CQName: ManakaiPCAssignment
  @ETQName: pc|assignment

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Perl variable assignment.  

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><AG::PerlAssignment.leftCode>->stringify
               . ' = '
               . $self-><AG::PerlAssignment.rightCode>->stringify;
          }__;

  @Attr:
    @@Name: leftCode
    @@enDesc:
      Left-hand expression.
    @@Type: PerlCodeInlines
    @@Get:
      @@@nullCase:
        @@@@enDesc: Left-hand code not yet specified.
      @@@PerlDef:
        __DEEP{
          F: for my $child (@{$self-><AG::Node.childNodes>}) {
            if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                $child-><AG::Node.localName> eq 'left') {
              $r = $child-><AG::Node.lastChild>;
              last F;
            }
          }
        }__;
    @@Set:
      @@@PerlDef:
        __DEEP{
          $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($given);
          F: {
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'left') {
                $child-><AS::Node.textContent> ('');
                $child-><M::Node.appendChild> ($given);
                last F;
              }
            }
            my $node = $self-><AG::Node.ownerDocument>
                            -><M::Document.createElementNS>
                                   (<Q::pc:>, 'left');
            $node-><M::Node.appendChild> ($given);
            $self-><M::Node.appendChild> ($node);
          }
        }__;

  @Attr:
    @@Name: rightCode
    @@enDesc:
      Right-hand expression.
    @@Type: PerlCodeInlines
    @@Get:
      @@@nullCase:
        @@@@enDesc: Right-hand code not yet specified.
      @@@PerlDef:
        __DEEP{
          F: for my $child (@{$self-><AG::Node.childNodes>}) {
            if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                $child-><AG::Node.localName> eq 'right') {
              $r = $child-><AG::Node.lastChild>;
              last F;
            }
          }
        }__;
    @@Set:
      @@@PerlDef:
        __DEEP{
          $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($given);
          F: {
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'right') {
                $child-><AS::Node.textContent> ('');
                $child-><M::Node.appendChild> ($given);
                last F;
              }
            }
            my $node = $self-><AG::Node.ownerDocument>
                            -><M::Document.createElementNS>
                                   (<Q::pc:>, 'right');
            $node-><M::Node.appendChild> ($given);
            $self-><M::Node.appendChild> ($node);
          }
        }__;
##PerlAssignment

IFClsETDef:
  @IFQName: PerlIf
  @CQName: ManakaiPCIf
  @ETQName: pc|if

  @IFISA: PerlCode
  @CISA: ManakaiPCCode

  @enDesc:
    Perl variable assignment.

  @ToStringMethod:
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        Perl code. 
      @@@PerlDef:
          __DEEP{
            my $tcode = $self-><AG::PerlIf.trueCode>;
            my $fcode = $self-><AG::PerlIf.falseCode>;
            my $ccode = $self-><AG::PerlIf.condition>;
            if (defined $tcode) {
              if (defined $fcode) {
                $r = q<if (> . $ccode->stringify . q<) {> . $tcode->stringify .
                     q<} else {> . $fcode->stringify . qq<}\n>;
              } else {
                $r = q<if (> . $ccode->stringify . q<) {> . $tcode->stringify .
                     qq<}\n>;
              }
            } else {
              $r = q<unless (> . $ccode->stringify . q<) {> . $fcode->stringify .
                   qq<}\n>;
            }
          }__;

  @Attr:
    @@Name: condition
    @@enDesc:
      Condition expression.
    @@Type: PerlCodeInlines
    @@Get:
      @@@nullCase:
        @@@@enDesc: Condition code not yet specified.
      @@@PerlDef:
        __DEEP{
          F: for my $child (@{$self-><AG::Node.childNodes>}) {
            if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                $child-><AG::Node.localName> eq 'condition') {
              $r = $child-><AG::Node.lastChild>;
              last F;
            }
          }
        }__;
    @@Set:
      @@@PerlDef:
        __DEEP{
          $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($given);
          F: {
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'condition') {
                $child-><AS::Node.textContent> ('');
                $child-><M::Node.appendChild> ($given);
                last F;
              }
            }
            my $node = $self-><AG::Node.ownerDocument>
                            -><M::Document.createElementNS>
                                   (<Q::pc:>, 'condition');
            $node-><M::Node.appendChild> ($given);
            $self-><M::Node.appendChild> ($node);
          }
        }__;

  @Attr:
    @@Name: trueCode
    @@enDesc:
      True-case code.
    @@Type: PerlCodeBlocks
    @@Get:
      @@@nullCase:
        @@@@enDesc: True-case code not yet specified.
      @@@PerlDef:
        __DEEP{
          F: for my $child (@{$self-><AG::Node.childNodes>}) {
            if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                $child-><AG::Node.localName> eq 'tr'.'ue') {
              $r = $child-><AG::Node.lastChild>;
              last F;
            }
          }
        }__;
    @@Set:
      @@@PerlDef:
        __DEEP{
          $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($given);
          F: {
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'tr'.'ue') {
                $child-><AS::Node.textContent> ('');
                $child-><M::Node.appendChild> ($given);
                last F;
              }
            }
            my $node = $self-><AG::Node.ownerDocument>
                            -><M::Document.createElementNS>
                                   (<Q::pc:>, 'tr'.'ue');
            $node-><M::Node.appendChild> ($given);
            $self-><M::Node.appendChild> ($node);
          }
        }__;

  @Attr:
    @@Name: falseCode
    @@enDesc:
      False-case code.
    @@Type: PerlCodeBlocks
    @@Get:
      @@@nullCase:
        @@@@enDesc: True-case code not yet specified.
      @@@PerlDef:
        __DEEP{
          F: for my $child (@{$self-><AG::Node.childNodes>}) {
            if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                $child-><AG::Node.localName> eq 'fal'.'se') {
              $r = $child-><AG::Node.lastChild>;
              last F;
            }
          }
        }__;
    @@Set:
      @@@PerlDef:
        __DEEP{
          $self-><AG::Node.ownerDocument>-><M::Document.adoptNode> ($given);
          F: {
            for my $child (@{$self-><AG::Node.childNodes>}) {
              if ($child-><AG::Node.namespaceURI> eq <Q::pc:> and
                  $child-><AG::Node.localName> eq 'fal'.'se') {
                $child-><AS::Node.textContent> ('');
                $child-><M::Node.appendChild> ($given);
                last F;
              }
            }
            my $node = $self-><AG::Node.ownerDocument>
                            -><M::Document.createElementNS>
                                   (<Q::pc:>, 'fal'.'se');
            $node-><M::Node.appendChild> ($given);
            $self-><M::Node.appendChild> ($node);
          }
        }__;
##PerlIf

PropDef:
  @QName:condition
  @enDesc:
    Condition.
PropDef:
  @QName:true
  @enDesc:
    If true.
PropDef:
  @QName:false
  @enDesc:
    If false.

PropDef:
  @QName:left
  @FullName:
    @@lang:en
    @@@: Left hand side
PropDef:
  @QName:right
  @FullName:
    @@lang:en
    @@@: Right hand side

PropDef:
  @QName:label
  @enDesc:
    Perl statement / block label.

ElementTypeBinding:
  @Name: RaiseException
  @ElementType:
    ManakaiDOM:raises

IFClsDef:
  @IFQName: PCImplementation
  @CQName: ManakaiPCImplementation

  @enDesc:
    The class that provides factory methods. 

  @CISA: DOMCore|ManakaiDOMImplementation||ManakaiDOM|ManakaiDOMLatest
  @CISA: dx|ManakaiDefaultExceptionHandler||ManakaiDOM|Perl

  @f:provides: pc|CoreFeature10

  @Method:
    @@Name: createPerlFile
    @@enDesc:
      Creates a Perl code file. 
    @@Return:
      @@@Type: PerlFile
      @@@enDesc: A newly created Perl source file object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument> (<Q::pc:>, 'file')
                      -><AG::Document.documentElement>;
          }__;

  @Method:
    @@Name: createPerlPackage
    @@enDesc:
      Creates a new package scope block. 
    @@Param:
      @@@Name: packageName
      @@@Type: DOMString
      @@@enDesc:
        The fully-qualified name of the package to create. 
    @@Return:
      @@@Type: PerlPackage
      @@@enDesc:
        The newly created package scope object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'package');
            $r-><AS::PerlPackage.packageName> ($packageName);
          }__;

  @IntMethod:
    @@ForCheck: ManakaiDOM|ForClass
    @@Name: perlComment
    @@ManakaiDOM:isStatic:1
    @@enDesc:
      Generates a Perl comment string. 
    @@Param:
      @@@Name: str
      @@@Type: DOMString
      @@@enDesc:
        A comment text. 
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        A Perl comment string.
      @@@PerlDef:
        $r = $str;
        $r =~ s/\n/\n## /g;
        $r =~ s/\n## $/\n/s;
        $r .= "\n" unless $r =~ /\n$/;
        $r = q<## > . $r;

  @IntMethod:
    @@ForCheck: ManakaiDOM|ForClass
    @@Name: rfc3339DateTime
    @@ManakaiDOM:isStatic:1
    @@enDesc:
      Returns RFC 3339 <CODE::date-time> representation of a date. 
    @@Param:
      @@@Name: perlDate
      @@@Type: idl|unsignedLong||ManakaiDOM|all
      @@@enDesc:
        A Perl representation of date. 
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        RFC 3339 date string. 
      @@@PerlDef:
        my @time = gmtime $perlDate;
        $r = sprintf q<%04d-%02d-%02dT%02d:%02d:%02d+00:00>,
                     $time[5] + 1900, $time[4] + 1, @time[3,2,1,0];

  @IntMethod:
    @@ForCheck: ManakaiDOM|ForClass
    @@Name: versionDateTime
    @@ManakaiDOM:isStatic:1
    @@enDesc:
      Returns date for version. 
    @@Param:
      @@@Name: perlDate
      @@@Type: idl|unsignedLong||ManakaiDOM|all
      @@@enDesc:
        A Perl representation of date. 
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        A Perl number literal. 
      @@@PerlDef:
        my @time = gmtime $perlDate;
        $r = sprintf q<%04d%02d%02d.%02d%02d>,
                     $time[5] + 1900, $time[4] + 1, @time[3,2,1];
  
  @Method:
    @@Name: perlLiteral
    @@enDesc:
      Perl code representation. 
    @@Param:
      @@@Name: val
      @@@Type: DISPerl|Any||ManakaiDOM|all
      @@@enDesc:
        A Perl value. 
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        A Perl lexical representation of <P::val>. 
      @@@PerlDef:
        unless (defined $val) {
          $r = q<undef>;
        } elsif (ref $val eq 'ARRAY') {
          __DEEP{
            $r = q<[> . <ClassM::ManakaiPCImplementation
                                            .perlList> ($val) . q<]>;
          }__;
        } elsif (ref $val eq 'HASH') {
          __DEEP{
            $r = q<{>
               . <ClassM::ManakaiPCImplementation.perlList>
                   ([map {$_ => $val->{$_}} sort {$a cmp $b} keys %$val])
               . q<}>;
          }__;
        } else {
          $val =~ s/(['\\])/\\$1/g;
          $r = q<'> . $val . q<'>;
        }

  @Method:
    @@Name: perlList
    @@enDesc:
      Perl code representation of a list. 
    @@Param:
      @@@Name: val
      @@@Type: DISPerl|ARRAY||ManakaiDOM|all
      @@@enDesc:
        A Perl array reference. 
    @@Return:
      @@@Type: DOMString
      @@@enDesc:
        A Perl lexical representation of <CODE::@$val>. 
      @@@PerlDef:
        __DEEP{
          $r = join (q<, >, map {<ClassM::ManakaiPCImplementation
                                              .perlLiteral> ($_)} @{$val});
        }__;

  @Method:
    @@Name: createPerlSub
    @@enDesc:
      Creates a new <IF::PerlSub> object. 
    @@Param:
      @@@Name: subName
      @@@Type: DOMString
      @@@enDesc:
        The name of the subroutine to create.
      @@@nullCase:
        @@@@enDesc:
          The subroutine created has no name. 
    @@Return:
      @@@Type: PerlSub
      @@@enDesc: 
        Newly created Perl subroutine object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'sub');
            $r-><M::PerlSub.addPerlName> ($subName) if defined $subName;
          }__;

  @Method:
    @@Name: createPerlUnparsedCode
    @@enDesc:
      Creates a new <Class::ManakaiPerlUnparsedCode> object. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        The code fragment. 
      @@@nullCase:
        @@@@enDesc:
          The fragment initially has no code. 
    @@Return:
      @@@Type: PerlUnparsedCode
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'unparsed');
            $r-><AS::Node.textContent> ($codeArg) if defined $codeArg;
          }__;

  @Method:
    @@Name: createPerlInlineContainer
    @@enDesc:
      Creates a new <IF::PerlInlineContainer> object. 
    @@Return:
      @@@Type: PerlCodeInlines
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                  -><M::Document.createElementNS> (<Q::pc:>, 'inlineContainer');
          }__;

  @Method:
    @@Name: createPerlInlineUnparsedCode
    @@enDesc:
      Creates a new <IF::PerlInlineUnparsedCode> object. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        The code fragment. 
      @@@nullCase:
        @@@@enDesc:
          The fragment initially has no code. 
    @@Return:
      @@@Type: PerlInlineUnparsedCode
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                   -><M::Document.createElementNS> (<Q::pc:>, 'inlineUnparsed');
            $r-><AS::Node.textContent> ($codeArg) if defined $codeArg;
          }__;

  @Method:
    @@Name: createPerlBare
    @@enDesc:
      Creates a new <IF::PerlTokens> object. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        The code fragment. 
    @@Return:
      @@@Type: PerlTokens
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'tokens');
            $r-><AS::Node.textContent> ($codeArg) if defined $codeArg;
          }__;

  @Method:
    @@Name: createPerlAtom
    @@enDesc:
      Creates a new <IF::PerlAtom> object. 
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        The code fragment. 
    @@Return:
      @@@Type: PerlAtom
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'atom');
            $r-><AS::Node.textContent> ($codeArg) if defined $codeArg;
          }__;

  @Method:
    @@Name: createPerlStringLiteral
    @@enDesc:
      Creates a new <IF::PerlStringLiteral> object. 
    @@Param:
      @@@Name: stringArg
      @@@Type: DOMString
      @@@enDesc: A string.
    @@Return:
      @@@Type: PerlStringLiteral
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                   -><M::Document.createElementNS> (<Q::pc:>, 'stringLiteral');
            $r-><AS::Node.textContent> ($stringArg);
          }__;

  @Method:
    @@Name: createPerlVariable
    @@enDesc:
      Creates a new <IF::PerlVariable> object. 
    @@Param:
      @@@Name: variableType
      @@@Type: DOMString
      @@@enDesc:
        Variable prefix.
      @@@nullCase:
        @@@@enDesc:
          If the <P::packageName> is <DOM::null>, then 
          the <P::variableType> is detected by the prefix of
          <P::localName>.  Otherwise, it is an unprefixed variable
          such as file handle.
    @@Param:
      @@@Name: packageName
      @@@Type: DOMString
      @@@enDesc:
        Package name.
      @@@nullCase:
        @@@@enDesc:
          The variable belongs to the current package or a 
          lexical-scoped variable.
    @@Param:
      @@@Name: localName
      @@@Type: DOMString
      @@@enDesc:
        Variable name.  If both <P::variableType> and <P::packageName>
        is <DOM::null>, the <P::localName> value may be prefixed
        by any possible <P::variableType> value.
    @@Return:
      @@@Type: PerlVariable
      @@@enDesc: 
        Newly created Perl variable object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'variable');
            if (not $variableType and not $packageName and
                $localName =~ s/^(\\?[\$\@%&*])//) {
              $variableType = $1;
            }
            $r-><AS::PerlVariable.variableType> ($variableType)
                                                  if defined $variableType;
            $r-><AS::PerlVariable.packageName> ($packageName)
                                                  if defined $packageName;
            $r-><AS::PerlVariable.pcLocalName> ($localName);
          }__;

  @Method:
    @@Name: createPerlBlock
    @@enDesc:
      Creates a new <IF::PerlBlock> object. 
    @@Return:
      @@@Type: PerlBlock
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'block');
          }__;

  @Method:
    @@Name: createPerlBlockContainer
    @@enDesc:
      Creates a new <Class::ManakaiPerlBlockContainer> object. 
    @@Return:
      @@@Type: PerlCodeBlocks
      @@@enDesc: 
        Newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                    -><M::Document.createElementNS> (<Q::pc:>, 'blockContainer');
          }__;

  @Method:
    @@Name: createPerlStatement
    @@enDesc:
      Creates a new Perl statement.
    @@Param:
      @@@Name: codeArg
      @@@Type: DOMString
      @@@enDesc:
        A Perl statement without terminating <Perl::;>.
      @@@nullCase:
        @@@@enDesc:
          No initial content.
    @@Return:
      @@@Type: PerlStatement
      @@@enDesc:
        The newly created Perl code object. 
      @@@PerlDef:
          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS> (<Q::pc:>, 'statement');
            if (defined $codeArg) {
              $r-><M::PerlCodeUnits.appendBare> ($codeArg);
            }
          }__;

  @Method:
    @@Name: createPerlIf
    @@enDesc:
      Creates a <IF::PerlIf> object. 
    @@Param:
      @@@Name: conditionArg
      @@@Type: PerlCodeInlines
      @@@enDesc:
        Conditoon code fragment object.
    @@Param:
      @@@Name: trueArg
      @@@Type: PerlCodeBlocks
      @@@enDesc:
        A true code fragment object. 
      @@@nullCase:
        @@@@enDesc: No true code.
    @@Param:
      @@@Name: falseArg
      @@@Type: PerlCodeBlocks
      @@@enDesc:
        A false code fragment object. 
      @@@nullCase:
        @@@@enDesc: No false code.
    @@Return:
      @@@Type: PerlIf
      @@@RaiseException:
        @@@@@:BAD_CHILD_ERR
        @@@@enDesc:
          An attempt is made to append a child
          that is not valid type.
      @@@RaiseException:
        @@@@@:IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to append a node that is 
          already used elsewhere. 
      @@@PerlDef:
          for my $arg ([conditionArg => $conditionArg]) {
            if ({
              atom => 1, tokens => 1, inlineContainer => 1, assignment => true,
              inlineUnparsed => 1, variable => 1, stringLiteral => true,
            }->{$arg->[1]-><AG::Node.localName>}) {
              if ($arg->[1]-><AG::Node.parentNode>) {
                __EXCEPTION{IN_USE_NODE_ERR::
                  pc:childNode => {$arg->[1]},
                  MDOMX:param-name => {$arg->[0]},
                }__;
              }
            } else {
              __EXCEPTION{BAD_CHILD_ERR::
                pc:parentNode => {$self},
                pc:childNode => {$arg->[1]},
                MDOMX:param-name => {$arg->[0]},
              }__;
            }
          } # c

          for my $arg ([trueArg => $trueArg],
                       [falseArg => $falseArg]) {
            next unless $arg->[1];
            if ({
                  blockContainer => true,
                }->{$arg->[1]-><AG::Node.localName>}) {
              if ($arg->[1]-><AG::Node.parentNode>) {
                __EXCEPTION{IN_USE_NODE_ERR::
                  pc:childNode => {$arg->[1]},
                  MDOMX:param-name => {$arg->[0]},
                }__;
              }
            } else {
              __EXCEPTION{BAD_CHILD_ERR::
                pc:parentNode => {$self},
                pc:childNode => {$arg->[1]},
                MDOMX:param-name => {$arg->[0]},
              }__;
            }
          } # t/f

          __DEEP{
            $r = $self-><M::DOMImpl.createDocument>
                      -><M::Document.createElementNS>
                            (<Q::pc:>, 'if');
            $r-><AS::PerlIf.condition> ($conditionArg) if $conditionArg;
            $r-><AS::PerlIf.trueCode> ($trueArg) if $trueArg;
            $r-><AS::PerlIf.falseCode> ($falseArg) if $falseArg;
          }__;
##PCImplementation

ResourceDef:
  @QName: DOMImpl
  @AliasFor: DOMCore|DOMImplementation
  @For: ManakaiDOM|DOM

ResourceDef:
  @QName: Node
  @AliasFor: DOMCore|Node
  @For: ManakaiDOM|DOM

ResourceDef:
  @QName: Element
  @AliasFor: DOMCore|Element
  @For: ManakaiDOM|DOM

ResourceDef:
  @QName: Document
  @AliasFor: DOMCore|Document
  @For: ManakaiDOM|DOM

## -- Exceptions

ResourceDef:
  @rdf:type:
    @@@: dis|MultipleResource
    @@ForCheck: !ManakaiDOM|ForIF !ManakaiDOM|ForClass
  @resourceFor: ManakaiDOM|ForIF
  @resourceFor: ManakaiDOM|ForClass

  @For: ManakaiDOM|Perl

  @rdf:type:
    @@@: dx|Interface
    @@ForCheck: ManakaiDOM|ForIF

  @rdf:type:
    @@@: dx|Class
    @@ForCheck: ManakaiDOM|ForClass

  @Implement:
    @@@: ||ManakaiDOM|ManakaiDOM|ManakaiDOM||ManakaiDOM|ForIF
    @@ContentType: DISCore|TFPQNames
    @@ForCheck: ManakaiDOM|ForClass
  @Implement:
    @@@: ||ManakaiDOM|ManakaiDOM|ManakaiDOMLatest||ManakaiDOM|ForIF
    @@ContentType: DISCore|TFPQNames
    @@ForCheck: ManakaiDOM|ForClass
  @dx:implementedBy: ||ManakaiDOM|ManakaiDOMLatest||ManakaiDOM|ForClass

  @f:implements: pc|CoreFeature10

  @ISA:
    @@@: dx|Exception||ManakaiDOM|Perl
    @@ForCheck: ManakaiDOM|ForClass

  @IFQName: PCException
  @QName:
    @@@: ManakaiPCException
    @@ForCheck: ManakaiDOM|ForClass

  @enDesc:
    Exceptions for the <Module::Util:PerlCode> module.

  @ResourceDef:
    @@ForCheck: ManakaiDOM|ForIF
    @@rdf:type: DISLang|ConstGroup

    @@IFQName: PCExceptionCode

    @@enDesc:
      Exception codes for <IF::PCException>. 

    @@Type: idl|unsignedShort||ManakaiDOM|all
    @@rdfs:subClassOf: idl|unsignedShort||ManakaiDOM|all

    @@XConstDef:
      @@@Name: HIERARCHY_REQUEST_ERR
      @@@Value:
        @@@@@:3
        @@@@ContentType: DISCore|Integer
      @@@enDesc:
        An attempt is made to break the hierarchy. 
      @@@XSubTypeDef:
        @@@@QName: BAD_CHILD_ERR
        @@@@enDesc:
          An attempt is made to append a node as a child whose type 
          is not allowed. 
        @@@@XParam:
          @@@@@QName: childNode
          @@@@@enDesc:
            The node attempted to append. 
        @@@@XParam:
          @@@@@QName: parentNode
          @@@@@enDesc:
            The node to whose child list an attempt to append is made. 
      @@@XSubTypeDef:
        @@@@QName: IN_USE_NODE_ERR
        @@@@enDesc:
          An attempt is made to append a node that has already been used
          elsewhere. 
        @@@@XParam:
          @@@@@QName: childNode
          @@@@@enDesc:
            The node attempted to append. 
        @@@@XParam:
          @@@@@QName: parentNode
          @@@@@enDesc:
            The parent node of the <XP::childNode>. 
    @@XConstDef:
      @@@Name: NOT_SUPPORTED_ERR
      @@@Value:
        @@@@@:9
        @@@@ContentType: DISCore|Integer
      @@@enDesc:
        An attempt is made to do something the implementation does not support. 
      @@@XSubTypeDef:
        @@@@QName: UNSUPPORTED_OPERATOR_ERR
        @@@@enDesc:
          The implementation does not support the specified operator. 
        @@@@XParam:
          @@@@@QName: operator
          @@@@@enDesc:
            The operator that is not supported. 
        @@@@enMufDef:
          Operator "%p (name => {<Q::pc:operator>});" is not supported
##PCException

ElementTypeBinding:
  @Name: XConstDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type: dx|ErrorCode

ElementTypeBinding:
  @Name: XSubTypeDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type: dx|ErrorSubCode

ElementTypeBinding:
  @Name: XParam
  @ElementType:
    ecore:hasParameter

ElementTypeBinding:
  @Name: XParamDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type: ecore|Parameter
    @@For: =ManakaiDOM|all

ElementTypeBinding:
  @Name: enMufDef
  @ElementType:
    dis:Def
  @ShadowContent:
    @@ContentType:
      lang:muf
    @@lang:en

ElementTypeBinding:
  @Name: Method
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:Method

ElementTypeBinding:
  @Name: ToStringMethod
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:Method
    @@Operator:
      @@@@:
        DISPerl:AsStringMethod
      @@@ContentType: DISCore|QName
    @@Description:
      @@@lang:en
      @@@@:
        Returns the textual Perl source code representation of this object. 

ElementTypeBinding:
  @Name: NumValMethod
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:Method
    @@Operator:
      @@@@: 0+
      @@@ContentType:
        lang:Perl
    @@Description:
      @@@lang:en
      @@@@:
        Returns the numeric value of this object.

ElementTypeBinding:
  @Name: IntMethod
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:Method
    @@ManakaiDOM:isForInternal:1

ElementTypeBinding:
  @Name: Attr
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:Attribute

ElementTypeBinding:
  @Name: Return
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:MethodReturn

ElementTypeBinding:
  @Name: Get
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:AttributeGet

ElementTypeBinding:
  @Name: Set
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:AttributeSet

ElementTypeBinding:
  @Name: Param
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:MethodParameter

ElementTypeBinding:
  @Name: PerlDef
  @ElementType:
    dis:Def
  @ShadowContent:
    @@ContentType:
      lang:Perl
    @@ForCheck: ManakaiDOM|ForClass

ElementTypeBinding:
  @Name: PerlCDef
  @ElementType:
    dis:Def
  @ShadowContent:
    @@ContentType:
      lang:Perl

ElementTypeBinding:
  @Name: disDef
  @ElementType:
    dis:Def
  @ShadowContent:
    @@ContentType:
      lang:dis
    @@ForCheck: ManakaiDOM|ForClass

ElementTypeBinding:
  @Name: InCase
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      ManakaiDOM:InCase

ElementTypeBinding:
  @Name: nullCase
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      ManakaiDOM:InCase
    @@Value:
      @@@is-null:1

ElementTypeBinding:
  @Name: TrueCase
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      ManakaiDOM:InCase
    @@Value:
      @@@@:1
      @@@ContentType: DISCore|Boolean
    @@Type:
      DOMMain:boolean::ManakaiDOM:all


ElementTypeBinding:
  @Name: FalseCase
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      ManakaiDOM:InCase
    @@Value:
      @@@@:0
      @@@ContentType: DISCore|Boolean
    @@Type:
      DOMMain:boolean::ManakaiDOM:all

ElementTypeBinding:
  @Name: enDesc
  @ElementType:
    dis:Description
  @ShadowContent:
    @@lang:en

ElementTypeBinding:
  @Name: PropDef
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      rdf:Property
    @@For: =ManakaiDOM|all

ElementTypeBinding:
  @Name: NamedParam
  @ElementType:
    dis:ResourceDef
  @ShadowContent:
    @@rdf:type:
      DISLang:MethodParameter
    @@DISPerl:isNamedParameter:1
