contracts

1열

1답변

Java에서 중복 및 자세한 null 검사를 줄이고 싶습니다만, Java에 표준 @NotNull 주석이 없다는 것을 이해합니다. 여기서 C#에는 사용할 수있는 계약이 있습니다. Contract.Requires(x != null); 내가 누락되었지만 내 코드를 코딩 할 수 없습니까? public class Contract { public sta

11열

1답변

Release 빌드에서 System.Diagnostics.Contract 사용

이전에 StackOverflow에서이 문제에 대한 토론이 있었지만 다시 찾을 수 없습니다. System.Diagnostics.Contract 클래스를 '실제 코드', 즉 프로덕션 코드의 릴리스 빌드에 사용해야하는지 알고 싶습니다. 이것은 네임 스페이스 설명에 기반하여 계약서가 디버깅 또는 분석 목적으로 표시되기 때문에이를 묻습니다. 기능에 대한 사전/사후

9열

3답변

단단한 것 같은 null이 있습니까

struct buyer{ uint amount; Status status; } mapping(address=>buyer) public buyers; mapping(uint=>address) buyerIndex; uint public buyerNum; //Order a product.

0열

1답변

함수가 false를 반환하면 out 변수는 null이 될 것이라고 알려줍니다.

나는이 그것을 반환 null가 아닌 경우는 null는, false를 돌려줍니다 경우 아웃 PARAM와 TryGet 패턴을 다음과 다음 함수 사실 내가 다음 코드로 함수를 호출 public bool TryGetFileFormat(string extension, [CanBeNull] out IFileFormat fileFormatter) { file

0열

1답변

이 서비스는 '2'계약을 구현합니다. InvalidOperationException

로컬 개발 컴퓨터에서 실행하려고하는 WCF 서비스 프로젝트가 있습니다. Cassini에서 실행중인 IE8에서 .SVC를 누르면 아무런 문제가 없습니다. IIS에서 실행중인 IE8에서 .SVC를 누르면 다음과 같은 서버 오류가 발생합니다. 이 서비스는 '2'계약을 구현합니다. WebScriptServiceHostFactory를 사용하려면 서비스 당 하나의 계

2열

1답변

이 계약서의 내용

나는 학업 의사 결정 지원 시스템을 설계하고 있습니다. 그 프로젝트에 대한 문서를 작성해야합니다. 내가 붙어있는 부분은 계약서를 쓰는 것입니다. 나는 정의를 생성 사용 사례가를보고했습니다. 사용자가 시스템과 함께 할 것입니다 상호 작용은 setParametersforReport()입니다. 이 기능에서 그는 student_rollNumber 또는 marks

0열

2답변

ABI 문자열이 작동하지 않습니다.

저는 C#에서 ethereum 계약 ABI 문자열을 사용하고 nethereum을 사용하여 현명한 계약서와 상호 작용할 수있는 함수를 호출하는 프로그램을 작성하고 있습니다. 더 작은 ABI 문자열을 사용하면 작동시킬 수 있지만 어떤 이유로이 긴 문자열이나 작은 예제 ABI의 길이를 초과하는 다른 ABI에서는 작동하지 않습니다. 내가 오류 메시지가 얻을 아래

2열

1답변

여러 구문 분석 방법을 사용하는 약 계약

응답을 구문 분석하는 데 하나 이상의 방법이있는 Scrapy 스파이더의 계약서를 작성하는 가장 좋은 방법은 무엇입니까? 이걸 answer으로 보았지만 나에게 분명히 들리지 않았습니다. 현재 예제 : 페이지의 정보를 추출하는 parse_product이라는 메서드가 있지만 다른 페이지에서 같은 제품에 대해 추출해야하는 데이터가 더 많습니다. 따라서이 마지막에

1열

2답변

wcf 프록시의 작업 계약 목록

아마도 더 많이 검색하거나 조사해야합니다. 그러나 너희들에게 처음으로 묻는 생각 .. 나는 Windows에서 호스팅되는 몇 가지 WCF 서비스를 가지고 있으며 클라이언트 측에서는이 모든 서비스 계약을 가진 프록시를 가지고있다. 내 응용 프로그램은 그것들을 소비하고 있으며, 단지 정상적으로 작동하고 있습니다. 이제는 내가 가진 서비스 끝점/다른 것을 제공하면

2열

1답변

Java 코드에 JML (openJML)을 어떻게 적용합니까?

JML을 Java 코드에 어떻게 적용합니까? 저는 Design by Contracts에서 여전히 새롭고 프로그램에 그것을 적용하는 방법에 대해 매우 분실했습니다. http://jmlspecs.sourceforge.net/ 사용 : OpenJML 넷빈즈 7.3 자바 SDK 1.7 을 이미 넷빈즈의 클래스 경로에 OpenJML jar 파일을 추가 한 . cof