Prototype Scope

Prototype Scope

The prototype fulfills the requirements laid on in iteration 1. We describe the requirements below.

Requirements for prototype

Specification of SIMPLE

The current prototype is able to:

• Detect syntactic errors such as
  • Invalid namings in SIMPLE program
  • Any violation of SIMPLE grammar rules
• Detect semantic errors such as
  • Procedures with the same name
• Parse 1 procedure
• Handle case-sensitivity of names
• Handle freely used spaces and tabs
• Parse expressions with left-associative rule implied from grammar rules

PQL queries and query processor

The current prototype is able to:

• Handle queries that have at most one "such that" and one "pattern" clause
• Detect syntactic errors such as
  • Invalid namings in the query
  • Any violation of PQL grammar rules
• Detect semantic errors such as
  • Invalid first argument '_' for Modifies and Uses
  • Using synonym in query before declaration