ISome
{
  void f();
}

struct ImplISome : ISome
{
  public void f() { ... }
}

class UseImpl : ISome(public ImplISome) { }

void F(readonly int i)
{
  readonly int s = i.ToStrint() + " xxx";
    s += " yyy "; // Ошибка времени компиляции
    i++; // Ошибка времени компиляции
}

VD> Вот только у меня никаких идей по этому поводу, кроме компайл-тайм-мета-программирования.

<modificators> bool MyPredicate( <parameters>)

public predicate MyPredicate( string A, MyClass1 B, MyClass2 C)
{
    { predicate11(A, B, C), predicate12(A, B), predicate13(A, C)}
    { predicate21(A, C), predicate22(B)}
}

MapGenerator gen = new MapGenerator(methodBuilder.GetILGenerator());

gen
    .BeginExceptionBlock

    .newobj(GetDefaultConstructor(type))
    .stloc_1

    .BeginCatchBlock_Exception

    .stloc_0
    .ldloc_0
    .call(typeof(MapDescriptor), "HandleException", BindingFlags.Static | BindingFlags.NonPublic)
    .ldnull
    .stloc_1

    .EndExceptionBlock

    .ldloc_1
    .ret();

Is XC# open source?
No, the source code for the compiler itself is not provided. However, the source of the compilation attributes (in XCSharp.Attributes.dll) is provided. Also, the source code for the Visual Studio integration is provided (XCSharp.AddIn.dll and XCSharp.VisualStudio.dll). Feel free to use this source code and redistribute it.

(4) Some commercial users have asked about support. Others have asked about
source code. XC# 2.0 will become a commercial product. It will be supported.
The professional version will be priced very competitively (around $200).
The enterprise version will contain the entire source code (around $1000).


XC# 2.0 beta can be downloaded at http://www.resolvecorp.com

Please continue to send your comments and suggestions!
Thanks
Pierre Nallet
xcsharp@resolvecorp.com

VD>void F(readonly int i)
VD>{
VD>  readonly int s = i.ToStrint() + " xxx";
VD>    s += " yyy "; // Ошибка времени компиляции
VD>    i++; // Ошибка времени компиляции
VD>}
VD>

class TAAA
{
int i;
int GetNext()
{ 
i++;
return i;
}
}

void F(readonly TAAA aaa)
{
  aaa.i=0;
  int i=aaa.GetNext();
}

Y_M>class TAAA
Y_M>{
Y_M>int i;
Y_M>int GetNext()
Y_M>{ 
Y_M>i++;
Y_M>return i;
Y_M>}
Y_M>}
Y_M>

Y_M>void F(readonly TAAA aaa)
Y_M>{
Y_M>  aaa.i=0;
Y_M>  int i=aaa.GetNext();
Y_M>}
Y_M>

aaa.i=0;

int i=aaa.GetNext();

D_S>Дык а на фиг тогда свой язык, есди он будет следовать _только_ спецификации и все

        [ReadOnly(true)]
        int Get1()
        {
            return 1;
        }

        int a=0;

        [ReadOnly(true)]
        void Set1()
        {
            a=1;
        }

        private void button1_Click(object sender, System.EventArgs e)
        {
            Get1();
            Set1();
        }

ILGenerator il = methodBuilder.GetILGenerator();

il.BeginExceptionBlock();

il.Emit(OpCodes.Newobj, GetDefaultConstructor(type));
il.Emit(OpCodes.Stloc_1);

il.BeginCatchBlock(typeof(Exception));

il.Emit(OpCodes.Stloc_0);
il.Emit(OpCodes.Ldloc_0);
il.EmitCall(OpCodes.Call, typeof(MapDescriptor).GetMethod("HandleException", BindingFlags.Static | BindingFlags.NonPublic));
il.Emit(OpCodes.Ldnull);
il.Emit(OpCodes.Stloc_1);

il.EndExceptionBlock();

il.Emit(OpCodes.Ldloc_1);
il.Emit(OpCodes.Ret);

class MapGenerator
{
    // ...

    public MapGenerator stloc_3 
    { 
        get 
        {
            m_gen.Emit(OpCodes.Stloc_3);
            return this; 
        } 
    }

    public MapGenerator stfld(FieldInfo fi) 
    {
        m_gen.Emit(OpCodes.Stfld, fi); 
        return this; 
    }

    // ...
}

 int MyProp
{
   onChange
{
  //...OnChange
}
}

 int _MyProp;
 int MyProp
 {
   get
 {
  return_MyProp;
 }
 set
 {
 _MyProp=value;
 //...OnChange
 }
}

В>И что бы если нет свойства MyProperty оно автоматически при компиляции появлялось

[Property("_myPropertyVarName", Accessor.GetSet)]
int MyVariable;

compilation-unit:
 using-directivesopt  global-attributesopt namespace-member-declarationsopt

global-attributes:
  global-attribute-sections
    
global-attribute-sections:
  global-attribute-section
  global-attribute-sections   global-attribute-section
    
global-attribute-section:
  [   global-attribute-target-specifier   attribute-list   ]
  [   global-attribute-target-specifier   attribute-list   ,   ]

global-attribute-target-specifier:
  global-attribute-target   :

global-attribute-target:
  assembly
  module
    
attributes:
  attribute-sections

attribute-sections:
  attribute-section
  attribute-sections   attribute-section

attribute-section:
  [   attribute-target-specifieropt   attribute-list   ]
  [   attribute-target-specifieropt   attribute-list   ,   ]

attribute-target-specifier:
  attribute-target   :

attribute-target:
  field
  event
  method
  param
  property
  return
  type

attribute-list:
  attribute
  attribute-list   ,   attribute
    
attribute:
  attribute-name   attribute-argumentsopt

attribute-name:
  type-name
    
attribute-arguments:
  (   positional-argument-listopt   )
  (   positional-argument-list   ,   named-argument-list   )
  (   named-argument-list   )

Иными словами идею LL(k) — грамматики можно объяснить так: если имеется уже разобранная часть цепочки, то на основании этого и еще нескольких неразобранных символов мы можем сделать вывод о том, какое правило неоюходимо применить. Таким образом грамматика посуществу не зависит (не считая k последующих символов) от того, что выводится из незаконченной части цепочки. В терминах деревьев этот процесс выглядит следующим образом: дерево вывода цепочки строится начиная с корня и детерминировано сверху вниз.

VD>И вообще, я как то с ходу не въехал как том у них и что.

VD>Да и Яву надо было ставить. А влом же.

VD>Этого я вообще не понял.

VD>Кстати, ты его запустил? У меня что-то с нахрапу не вышло.

propinnerBody
   : pib :
       IDENT (LCURLY (statement)* RCURLY)?  (SEMI)?
   ;

AVK> Ну вобщем скачай грамматики и погляди — кусков кода и жутких псевдосимволов с номерами параметров там нет .

AVK>Да чего там ее ставить — запустил инсталлер и нажал ОК. Рантайм поставить не сложно, если он у тебя уже не стоит .

Y:\RSDN\2003-6\Collections>java
'java' is not recognized as an internal or external command,
operable program or batch file.

AVK>Да там похоже генератор не рефакторить, а переписыывать надо . Ну и рантайм рефакторить.

AVK>propinnerBody
AVK>   : pib :
AVK>       IDENT (LCURLY (statement)* RCURLY)?  (SEMI)?
AVK>   ;
AVK>

VD>Коментарии еще лексер удаляет. Так что таких проблем у яка нет.

AVK>> Ну вобщем скачай грамматики и погляди — кусков кода и жутких псевдосимволов с номерами параметров там нет .

VD>Давно скачал. И посмотрел. Что-то мне их граматика еще меньше чем яковская понятна. Возможно с непривычки.

AVK>>Да чего там ее ставить — запустил инсталлер и нажал ОК. Рантайм поставить не сложно, если он у тебя уже не стоит .

VD>Там 1.1 нужен, а у меня его нет. Надо лезть на Сан...

VD>Y:\RSDN\2003-6\Collections>java
VD>'java' is not recognized as an internal or external command,
VD>operable program or batch file.
VD>

VD>

expr
    :    mexpr (PLUS^ mexpr)* SEMI!
    ;

mexpr
    :    atom (STAR^ atom)*
    ;

atom:    INT
    ;

    public void expr() //throws RecognitionException, TokenStreamException
{
        
        
        try {      // for error handling
            mexpr();
            {    // ( ... )*
                for (;;)
                {
                    if ((LA(1)==PLUS))
                    {
                        match(PLUS);
                        mexpr();
                    }
                    else
                    {
                        goto _loop3_breakloop;
                    }
                    
                }
_loop3_breakloop:                ;
            }    // ( ... )*
            match(SEMI);
        }
        catch (RecognitionException ex)
        {
            reportError(ex);
            consume();
            consumeUntil(tokenSet_0_);
        }
    }
    
    public void mexpr() //throws RecognitionException, TokenStreamException
{
        
        
        try {      // for error handling
            atom();
            {    // ( ... )*
                for (;;)
                {
                    if ((LA(1)==STAR))
                    {
                        match(STAR);
                        atom();
                    }
                    else
                    {
                        goto _loop6_breakloop;
                    }
                    
                }
_loop6_breakloop:                ;
            }    // ( ... )*
        }
        catch (RecognitionException ex)
        {
            reportError(ex);
            consume();
            consumeUntil(tokenSet_1_);
        }
    }
    
    public void atom() //throws RecognitionException, TokenStreamException
{
        
        
        try {      // for error handling
            match(INT);
        }
        catch (RecognitionException ex)
        {
            reportError(ex);
            consume();
            consumeUntil(tokenSet_2_);
        }
    }

public interface TokenStream
{
    Token nextToken();
}

AVK>>Да там похоже генератор не рефакторить, а переписыывать надо . Ну и рантайм рефакторить.