MoreFormalAccuracyDefinition

Main

More formal accuracy definition

Accuracy = Lexis + Syntax + Semantics

From point of view of user

Lexis

Recognition of identifiers, keywords, etc.

Syntax

Recognition of constructions

  • Expressions
  • Cast expressions
  • Shift expressions
  • etc.
  • Statements
  • Labeled statements
  • Expression statements
  • Compound statements
  • Selection statements
  • Iteration statements
  • Jump statements
  • Declaration statements
  • Try blocks
  • Declarations
  • Block declarations
  • Asm definitions
  • Namespace alias definitions
  • Using declarations
  • Using directives
  • Alias declarations
  • etc.
  • Function definitions
  • Template declarations
  • Explicit instantiations
  • Explicit specializations
  • Linkage specifications
  • Namespace definitions
  • Classes
  • Head
  • Name
  • Body
  • Member declarations
  • Access specifiers
  • etc.
  • Templates
  • Template declarations
  • Name
  • Parameter lists
  • etc.
  • Template explicit instantiations
  • Template explicit specializations

Semantics from point of view of user

Right references from identifiers and operators to their declarations (hyperlink) (and vice versa (find usages))

Right references from declarations to their definitions (hyperlink) (and vice versa (find usages))


From point of view of compiler

Lexis

Recognition of tokens

Syntax

Correct AST

Semantics

Correct annotated AST

Annotation should contain enough information for execution

Main

Not logged in. Log in, Register

By use of this website, you agree to the NetBeans Policies and Terms of Use. © 2012, Oracle Corporation and/or its affiliates. Sponsored by Oracle logo