Quality of a parser

Criteria applicable to all parsers

A parser should extract language objects defining something. A parser should extract a name newly introduced.

A parser extracts language objects referring to an external entity with a reference tag.

Examples of external entity: "stdio.h", "sys", "rules.mk", and "intro" in the following input.

#inclue <stdio.h>

import sys

source rules.mk

\input{intro}

A parser should fill end and scope fields.

A parser should fill signature fields.

A parser should fill typeref fields.

A parser should extract headers.