class consoleExt
    open core

constants
%intensity=0
    black         = 0x0000.  %чёрный
    blue          = 0x0001.  %синий
    green        = 0x0002.  %зелёный
    turquoise   = 0x0003.  %бирюзовый
    red           = 0x0004.  %красный
    purple       = 0x0005.  %пурпурный
    brown       = 0x0006.  %коричневый
    white         = 0x0007.  %белый
%intensity=1
    gray               = 0x0008. %серый
    yale_blue       = 0x0009.  %яркоСиний
    bright_green   = 0x000a.  %яркоЗелёный
    cyan              = 0x000b.  %яркоБирюзовый
    scarlet           = 0x000c.  %яркоКрасный
    magenta        = 0x000d.  %сиреневый
    yellow            = 0x000e.  %жёлтый
    bright_white   = 0x000f.  %яркоБелый

predicates
classInfo : core::classInfo.
writeColor : (unsigned16 Attribute, ...). % цветная печать аргументов с текущей позиции курсора
setAttr : (unsigned16 X, unsigned16 Y, unsigned16 Attribute). % установка атрибутов в позиции X,Y
writeChar : (unsigned16 X, unsigned16 Y, char Char). % вывод Char в заданную позицию (положение курсора не меняется)
getAttr : (unsigned16 X, unsigned16 Y) -> unsigned16 Attribute. % получение атрибутов из позиции X,Y экрана
getChar : (unsigned16 X, unsigned16 Y) -> char Char.  % получение символа из позиции X,Y  (только основная ASCII-таблица)
fillAttribute : (unsigned16 X, unsigned16 Y, unsigned32 Length, unsigned16 Attribute). % установить атрибуты, начиная с X,Y длиной Length
fillChar : (unsigned16 X, unsigned16 Y, unsigned32 Count, char Char). % вывод Char, начиная с X,Y в количестве Count (положение курсора не меняется)
setCursor : (unsigned16 X, unsigned16 Y). % установка координат курсора
color_IRGB : (unsigned8 Color,unsigned8 I,unsigned8 R,unsigned8 G,unsigned8 B) procedure (i,o,o,o,o) (o,i,i,i,i).  % цвет <-> IRGB-компоненты,  IRGB={0,1}
attr_colors: (unsigned16 Attr, unsigned8 BackGround, unsigned8 ForeGround) procedure (i,o,o) (o,i,i).  % атрибут <-> цвет фона и цвет символа

end class consoleExt