assumptions property

List<SourceLine> assumptions
getter/setter pair

Implementation

List<SourceLine> assumptions;