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++; // Ошибка времени компиляции
}

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();

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
 }
}

Оптимальный интерфейс
Ставится задача разработать универсальную методику разрабатывать интерфейс к объектной модели.
Предположим, мы умеем отличать "встроенные" объекты от внешних.
Таким образом, объект представляется набором свойств скалярного либо векторного типа (возможностью матричных индексаторов пренебрегаем).
Для каждого типа свойства у нас зарегистрирован соответствующий визуальный редактор, т.е. компонент.
Теперь возникает задача оптимально расположить эти редакторы в ограниченном пространстве.
Пространство комбинаций
Идея в том, чтобы уложить набор редакторов в дерево. Узлами этого дерева являются визуальные контейнеры, а листьями — редакторы. Контейнеры могут быть следующими:
— набор закладок. Отнимает площадь под закладки (чем больше страниц — тем сильнее), но "укладывает" свое содержимое "один под другим"
— горизонтальный набор редакторов
— вертикальное деление на группы
— горизонтальное деление на колонки
Стоит рассмотреть возможность повторного размещения редактора свойства в этом дереве.
Критерии оптимальности
Удобство интерфейса определяется количеством избыточной навигации. Для каждого варианта дерева можно посчитать попарное "расстояние" между любыми двумя свойствами, при этом учитываются
— нажатия Tab
— клики
— скроллинг
Пока неясно, как именно учитывать альтернативную навигацию — например, если брать минимум, то наличие комбинации клавиш, привязанной к редактору свойства, сделает дистанцию до него из любого места равной 1.

Если у нас есть статистика переходов между свойствами (матрица N*N), то ее можно использовать для "взвешивания" попарных расстояний и минимизировать функцию Opt = sum(Dist[i, j]*Freq[i, j]).

В отсутствие статистики переходов можно попытаться
а) оптимизировать дерево, исходя из равноправия переходов. Проблема: очевидно, появится множество вариантов с одинаковой стоимостью.
б) ввести категории свойств, и считать, что переходы чаще всего делаются внутри категории.

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)}
}

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);

В>И что бы если нет свойства 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>