Wiki

Ticket #216 (closed defect: fixed)

Opened 14 years ago

Last modified 12 years ago

using base inside an invariant causes COBRA INTERNAL ERROR

Reported by: nevdelap Owned by: nevdelap
Priority: minor Milestone:
Component: Cobra Compiler Version: 0.8.0
Keywords: Cc:

Description

Minimal test code:

class A

	var x = 1

class B inherits A

	invariant
		base.x <> 0

class P

	def main
		b = B()

error: COBRA INTERNAL ERROR / InvalidOperationException / Operation is not valid due to the current state of the object

Without base compilation is successful, (with warning b not used of course).

Change History

Changed 14 years ago by Chuck

  • status changed from new to assigned
  • owner set to nevdelap

Are you okay with an error message for using "base" in an invariant? Is "base" ever needed there?

Changed 12 years ago by Charles

bump

Changed 12 years ago by Charles

  • status changed from assigned to closed
  • resolution set to fixed

Fixed in changeset:2724

Note: See TracTickets for help on using tickets.