preconditions

0열

1답변

전제 조건 및 클래스 봉쇄

내가 다음 클래스가 있다고 가정 : public class Player { private Board board; private int roundsPlayed = 0; public void play() { while (board.isAvailable() && roundsPlayed < 10) { // playing on the bo

preconditions post-conditions 2017-01-19

---

0열

2답변

자바 - 방법 전제 조건 및 사후 조건 시행

나의 질문은 짧다. 컴파일러가 메소드 전제 조건 및 사후 조건을 시행합니까?

java preconditions post-conditions 2014-02-12

---

1열

1답변

계약으로 계약을 맺는 사전 조건

이 인터페이스를 기반으로 Java로 계산기를 만들어야합니다. public interface CalculatorIF { int add(int x, int y); int sub(int x, int y); int mult(int x, int y); //double div(int x, int y); //int sqrt(

java design-by-contract preconditions 2016-11-05

---

1열

2답변

패키지에 전용 인 에이다 측면

내가 세상에서 가장 바보 같은 링 버퍼를 가지고 있다고 가정 해 봅시다. size: constant := 16; subtype T is integer; package RingBuffer is procedure Push(value: T); function Pop return T; end; package body RingBuffer

packages ada preconditions 2014-04-21

---

3열

1답변

Plomatic schema.core/Clojure 함수 전제 조건을 사용할 수 있습니까?

나는 선택적 인수 opts을 복용하는 기능에 대한 전제 조건에 Prismatic schema.core/maybe를 사용하기 위해 노력하고있어,하지만 내가 더 opts와 함수를 호출 할 때 항상 AssertionError를 던질 것 같다 (require '[schema.core :as schema]) (defn foo [& modules] {:p

clojure preconditions prismatic-schema 2014-09-24

---

2열

1답변

PHPDoc 전제 조건

PHPDoc으로 전제 조건을 태그하는 방법? 나는 객체를 가지고 있고, 함수를 호출하기 전에 다른 함수가 호출되어 있어야합니다 : $myObject = new MyClass(); $myObject->mustDoThis(); $myObject->beforeThis(); 그래서 beforeThis()에 대한 문서는 같을 것이다 /** * @precon

phpdoc preconditions 2014-05-10

---

0열

1답변

IIS 모듈에 사용할 수있는 모든 전제 조건 목록이 있습니까?

<system.webServer>/<modules>에 모듈을 추가 할 때 각 모듈에 preCondition을 지정할 수 있습니다. 내가 managedHandler, 빈 문자열, bitness64 발생했지만 사용 가능한 전제 조건의 전체 목록 절대로. 가능한 전제 조건의 전체 목록이 있습니까?

asp.net iis web-config preconditions 2014-07-23

---

1열

2답변

에펠에서 valid_index 전제 조건 위반이 발생하는 이유는 무엇입니까?

난 그냥 컨테이너 클래스 (기본적으로 배열에 의해 만들어진)의 push_at 기능을 테스트합니다. 내 코드의 어느 부분이 이러한 위반을 일으키는 지 알지 못합니다. 도움을 나의 시험에서 push_at (i: INTEGER; s: STRING) require valid_index: i >= 1 do container

eiffel preconditions 2017-09-22

---

5열

1답변

412 (전제 조건 실패) 오류 수정 HTML5 비디오 태그

FlexSlider에서 HTML5 비디오 태그를 사용하고 있습니다. 때때로 비디오가 작동을 멈 춥니 다. 많은 검색 후에이 오류가 발생했습니다. <video preload="none" src="http://studiobooth.local/app/videos/2.mp4" poster="http://studiobooth.local/app/videos/thumb

html5-video preconditions http-status-code-412 2017-01-24

---

-2열

1답변

Ada 오류 : 제기 됨 SYSTEM.ASSERTIONS.ASSERT_FAILURE : lexical_analyzers.ads:20의 전제 조건을 충족하지 못했습니다.

프로그래밍 개념에서 수행하는 작업 중 일부는 차세대가 마지막 것보다 더 똑똑 할 것으로 예상되므로 아버지의 머리 위로 진행됩니다. 세대. 그럼에도 불구하고 12 월 2 일까지 완료해야하는 프로젝트를 진행하고 있습니다. 그것은 다소 복잡합니다. 에펠 (Eiffel)이라고하는 기본 언어에 대한 파서 (Parser) 및 어휘 분석기 (Lexical Analyze

parsing ada preconditions gnat-gps 2014-11-28

---