Design the skeletons for type checking

Description

This is a prereq for XTENLANG-3352: Separate compilation for X10.

Currently I assume the following.

  • Method/constructor declarations don't have bodies but return types are explicit. They have @Incomplete annotation.

  • Field declarations may or may not have right-hand side expressions, but their types are always explicit.

Environment

None

Status

Assignee

VijayV

Reporter

Mikio Takeuchi

Labels

None

Components

Fix versions

Affects versions

Priority

High
Configure