id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2296	Checks for protected elements	Martin Sjölund	Per Östlund	"We currently allow access of protected elements that should not be possible to access. This is very important for bootstrapping since dependency analysis depends on protected elements not being part of the interface of an encapsulated package.
{{{#!mo
encapsulated package P
protected
  constant Real c = 1.0;
  function f output Real c = 1.0; end f;
end P;

encapsulated model M
  import P;
  Real r1 = P.c; // illegal
  Real r2 = P.f(); // illegal
end M;
}}}"	defect	closed	critical	2.0.0	New Instantiation	trunk	fixed