| 摘要 |
<p>실행가능 컴포넌트로부터의 반환된 참조의 어노테이션(annotation)은 반환된 참조에 의해 참조된 특정 객체 그래프에 대한 외부 참조가 존재하지 않음을 나타낸다. 1) 실행가능 컴포넌트에 대한 입력 아규먼트가 없거나 또는 2) 각각의 입력 아규먼트가 변경불가능하거나 또는 객체 그래프를 가리키는 외부 변경가능 참조 및 외부 객체를 참조하는 내부 변경가능 참조를 갖고 있지 않은 객체 그래프를 나타낼 경우, 특정 속성이 반환된 참조에 할당된다. 따라서, 반환된 참조가 기록가능하면(실행가능 컴포넌트에 대한 호출 코드 또는 선언 코드를 평가함으로써 결정됨), 반환된 참조는 그것에 할당된 어떠한 액세스 승인도 자유롭게 가져야 하며, 또한 격리된 메모리 위치에 할당될 수 있는데, 이러한 할당은 반환된 참조로 하여금 특정 속성을 잃게 만들 것이다.</p> |
