Создание областей, отображений и элементов
@Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
область, область
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Область1 делается подобластью Области2.
Имя операции:
make_subobject
@Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Область1 делается подобластью Области2.
Имя операции:
make_subobject
@A_new - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Комментарий:
Создается новый класс A, как подкласс класса B.
Имя операции:
make_subobject
@New_Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
Новое имя (строка в кавычках или в квадратных скобках), выражение, задающее класс
ex("new",[]), ex("ob",[]
Комментарий:
Новая Область1 делается подобластью Области2.
Имя операции:
make_subobject
@New_Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
Новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Комментарий:
Новая Область1 делается подобластью Области2.
Имя операции:
make_subobject