REFILL — 입력 버퍼 채우기 시도
REFILL — 입력 버퍼 채우기 시도
REFILL은 입력 소스에서 입력 버퍼를 채우려 시도하고, 성공하면 참 플래그를 반환하는 코어 확장 단어예요.
본문
스택 효과
( -- flag )
설명
입력 소스에서 입력 버퍼를 채우려 시도하고, 성공하면 참 플래그를 반환해요. 입력 소스가 사용자 입력 장치면, 터미널 입력 버퍼로 입력을 받으려 시도해요. 성공하면 그 결과를 입력 버퍼로 만들고 >IN을 0으로 설정하며 true를 반환해요. 문자가 없는 줄을 받는 것은 성공으로 간주해요. 현재 입력 소스에서 사용할 수 있는 입력이 없으면 false를 반환해요. 입력 소스가 EVALUATE의 문자열이면 false를 반환하고 다른 동작을 수행하지 않아요.
참조 (See)
- 7.6.2.2125 REFILL
- 11.6.2.2125 REFILL
- A.6.2.2125 REFILL
합리성 (Rationale)
REFILL은 가능한 모든 입력 소스에 대해 합리적으로 동작하도록 설계되었어요. 입력 소스가 사용자로부터 오는 경우, 예를 들어 통신 채널이 닫혀서 시스템이 더 이상 입력을 수신하지 못하게 되면 REFILL은 여전히 거짓 값을 반환할 수 있어요.