// Copyright (c) 2001-2003, Jonathan Bachrach, Tom White. See file LICENSE.

import net.sf.jse.IdentifierFragment;
import net.sf.jse.Fragment;
import net.sf.jse.SyntaxMatchFailure;

public syntax property {
  case #{ 
    ?modifiers:* property ?:type ?:name ?init:*; 
  }:
  {
    Fragment getterName =
      new IdentifierFragment("get".concat(capitalize(name.getName())));
    Fragment setter = #{ };
    Fragment setterName =
      new IdentifierFragment("set".concat(capitalize(name.getName())));
    return #{
      private ?type ?name ?init;
      ?modifiers ?type ?getterName() { return ?name; }
      ?modifiers void ?setterName (?type x) { this.?name = x; }
    };
  }
  
  // Need this method since IdentifierFragment.capitalize() doesn't do the right thing...
  private static String capitalize(String s) {
    if (s.length() == 0) {
         return s;
    }
    char chars[] = s.toCharArray();
    chars[0] = Character.toUpperCase(chars[0]);
    return new String(chars);
  }
}

class Bean implements Serializable
{
  public property String firstName = "Tom";
}

class Bean implements Serializable
{ 
  private String firstName = "Tom";
  public String getFirstName () { return firstName ; }
  public void setFirstName (String x) { this.firstName = x ; }
}

(setq schema
    '(element (name . "objects")
        (complex-type
            (all (min-occurs . "1")
                (element (name . "object")
                    (complex-type
                        (all (min-occurs . "1")
                            (element (name . "property")
                                (complex-type (name . "")
                                    (attribute (name . "name"))
                                    (attribute (name . "type"))
                                )
                            )
                        )
                    )
                )
            )
        )
    )
)

public interface Obj1
{
    int Prop1 {get;}
    string Prop2 {get;}
}

<object name="A">
    <extension object="B">
</object>

<object name="B">
    <extension object="C">
</object>

<object name="C"/>

class A
{
   public static C getInstance()
   {
       return new A(new B(new C()));
   }
}

class B
{
   public static C getInstance()
   {
       return new B(new C());
   }
}

class C
{
   public static C getInstance()
   {
       return new C();
   }
}

public syntax ИмяМакроса
{
    case #{ некий паттерн обнаруживающий этот самый макрос в АСТ. }
  {
        Некий императивный код которому доступны все ветки АСТ найденные 
        паттерн-матчингом.
    return
        #{
            Результирующий набор АСТ-веток часть из которых может быть сформирована
            в предыдущем блоке или взято из АСТ-веток найденных паттерн-матчингом.
    };
  }
    
    Другой императивный код оформленный в виде методов.
}

AVK>public interface Obj1
AVK>{
AVK>    int Prop1 {get;}
AVK>    string Prop2 {get;}
AVK>}
AVK>

public interface Obj
{
    int Prop1 {get;}
    [StrongChecking]
    string Prop2 {get;}
}

int Prop1
{
    // Понятно, что в getter-е вряд ли потребуются постусловия, но для демострации сойдет.
    get {
        <...some C# code...>
        int result = _prop1;
        <...some C# code...>
        return result;
    }
}

interface( "Obj" ) {
    property( "Prop1", Property::Type::INT ) {
        precondition <<-PRE
                <...some C# code...>
            PRE
        postcondition <<-PRE
                <...some C# code...>
            PRE
    }
    property( "Prop2", Property::Type::STRING ) {
        strong_checking
    }
}

(defun matr:trans(matr)(apply'mapcar(cons'list matr)))

(defun matr:*(a b)(mapcar'(lambda(j)(mapcar'(lambda(i)(apply'+(mapcar'* i j)))(matr:trans b)))a))