Статический анализатор кода для InterSystems Caché Object Script.

1. coslint
статическая
проверка
кода
на
COS

2. Caché Object Script
● Слабая динамическая типизация
USER>write
“22
яблока”
+
“3
груши”
25
● Минусы:
o runtime-ошибки, которые очевидны при просмотре
программы
● Плюсы:
o гибкость
o скорость компиляции

5. =====Test.test:Hello=====
3:
}elseif
name
=
"Вася"
||
name
=
"Петя"
{
Might
be
missed
parentheses
in
name
=
"Вася"
||
name
=
"Петя".
6:
q
Quit
without
arguments.
Method
should
return
%Library.String.
=====Test.test:test=====
3:
s
p.Surname
=
"Doe"
Property
Test.test:Surname
is
not
found.
4:
w
p.Hello()
Omitted
1
argument
in
call
of
Test.test:Hello.
Expected:
%Library.String.
========================================

6. Что можно проверить без типов
● Возможно забытые скобки:
o if
a
=
1
||
a
=
2
● Выход без аргумента, хотя метод должен что-то
вернуть:
Method
Sqr(a
As
%Integer)
As
%Integer
{
set
res
=
a
**
2
quit
}

7. Что можно проверить без типов
● Отсутствие quit (или return) вообще, если метод
должен что-то вернуть
● Обращение к несуществующему классу
● Переменная не была определена перед
обращением

8. Что можно проверить с типами
● Все-ли параметры передали в метод и не передали-
ли лишних
● Передали параметр нужного типа
● Обращение к свойству/методу, которого у данного
класса нет
● Вызвали метод, который возвращает %Status, но не
проверили его значение

9. Что ещё можно проверять?
● Неиспользуемые
o параметры
o переменные
o переменные цикла
● Переменная цикла for меняется в теле
цикла.

10. Как узнать тип переменной? (1/3)
● переменная — аргумент метода
● set a = <expression>
● #dim a As Sample.Person
● set a = ##class(...).%New()
● set a = ##class(...).%OpenId(...)
● переменная была передана в вызов метода по
ссылке

11. Как узнать тип переменной? (2/3)
● set $Extract(a, …) = <expr>
● set $Piece(a, …) = <expr>
● set $ListBuild(a, ...) = <list-expr>
● set $List(a, … ) = <expr>
● $Data(… , a), $Order(... , a), $Query(..., a)
● $ListNext(..., a)

12. Пример с $Data
If
$Data(^someglobal(1),
val)#10=1
{
write
val,!
}

13. Как узнать тип переменной? (3/3)
● &sql (select … into :a ...)
● &sql (fetch … into :a)
● try { … } catch a { ... }
● read a
● merge a = <some-var>

14. %IsA
set
a
=
somecollection.GetAt(1)
if
(
a.%IsA("Sample.Employee")
&&
somecondition
&&
(somecondition2
||
somothercondition))
{
//здесь
a
имеет
тип
Sample.Employee
}
//здесь
тип
a
опять
как
у
всех
элементов
коллекции

15. Опять же, не всё так просто
Method
some(a
As
Sample.Person)
{
if
a.%IsA(“Sample.Employee”)
{
set
a
=
##class(Sample.Company).%New()
}
//
что
мы
теперь
можем
сказать
об
a?
}

16. Наконец есть
● %objlasterror
● SQLCODE
● %request
● %response
● %session
● %page
● %application
● …

17. Спасибо
Что ещё можно проверять?