cwi-swat / php-analysis

PHP language analyses in Rascal
BSD 2-Clause "Simplified" License
27 stars 8 forks source link

Doc Extractor needs to be updated for possible type errors #9

Open mahills opened 6 years ago

mahills commented 6 years ago

The checker is currently having trouble with typing the extractor in lang::php::analysis::signatures::Extract, which makes heavy use of pattern matching against node types. It is not clear if this is a problem in the checker or with the extractor itself, or (most likely) some combination of the two.