methods

1열

1답변

Dafny에서 두 정수를 불변량으로 곱하는 간단한 방법

이 Q3 메서드는 res | n0 |에 m0을 추가하여 n0 * m0을 통근합니다. 타임스. n0이 음수이면 n0 * m0 = -n0 * -m0으로 n0와 m0을 모두 반전시킵니다. 문제는 불변량이 부울 유형 일 필요가 있기 때문에 내 불변성이 어떻게 보이는지 정확히 알지 못한다는 것입니다. 아무도 불변 부울 조건이 어떻게 생겼는지 말해 줄 수 있습니까?

methods dafny 2017-12-14

---

0열

1답변

호출 마법사 방법

나는 방법 Barcodereader (object sender, EventArgs e) 다른 방법은 첫 번째는 바코드와에 다른 읽을 역할 이름에서 당신이 상상할 수 있듯이 protected void RadWizard1_NextButtonClick(object sender, WizardEventArgs e) 에 있습니다 마법사의 다음 단계로 넘어갑니다

c# .net methods wizard 2017-12-14

---

-4열

2답변

오버로드 메서드 효율성

왜 이것이 스타일을 코딩하는 좋은 방법이라고 생각하는지 궁금합니다. public void advance() { advance(1); } public void advance(int numberofDays) { // code here } 오버로드 메서드를 작성하는 방법으로 코드 반복 횟수를 줄일 수 있지만 그다지 효과적이지 않습니까? 당신이

java methods overloading 2017-12-15

---

1열

1답변

다른 클래스에서 호출하는 C# (WPF) 메서드

저는 코딩이 매우 쉽습니다. 입력 변수가 관련된 경우 B에서 클래스 A로 메소드를 호출 할 때 문제점이 있습니다. 왜 설명 a.PrintAfromB(); 저에게 0 값을 주셨습니다. 상황을 극복하는 방법.? MVVM을 사용하는 예제가 있습니다. 그러나 그것들은이 단계에서 나를 위해 매우 복잡합니다. 입력 변수가 잘못되거나 메서드를 잘못 호출하는 것 같습니다

c# wpf oop methods 2017-12-15

---

-1열

3답변

루프를 완료하는 데 필요한 것보다 더 많은 시간 동안 조건이 true로 유지되는 경우에도 while 루프를 한 번 실행하는 방법

PLC에서 읽은 신호가 참인지 거짓인지를 확인하는 응용 프로그램이 있습니다. - 일련의 계산을 수행하고 false 일 경우 신호를 기다립니다. 이 작업을 수행하는 동안 while 루프를 사용하고 있습니다. 그러나 문제는 실제 상태가 1000ms 동안 유지되고 루프가 100ms 미만으로 완료되므로 다시 돌아가고 상태가 참이므로 다시 확인합니다. 따라서 PLC

c# methods while-loop 2017-12-15

---

-1열

1답변

전달 값은 내가 <code>Preprocessing</code>라는 클래스를 가지고하는 방법이라는 프로세스() <p></p>, 그것은 내 데이터를 포함하는 ArrayList를 호출 datatweets을 가지고있는 다른 클래스

에 ArrayList를합니다. public void Process(){ //the process... datatweets.add(mydata); } 그럼 datatweets과 값 (내 데이터)을 다른 클래스의 다른 ArrayList에 전달하려고합니다. 나는 같은 getter 메서드를 사용하여 시도했다 : public ArrayList get

java arraylist methods void 2017-12-15

---

1열

1답변

같은 클래스에있는 다른 메소드의 메소드 호출 : 파이썬이 요구하는 매개 변수는 무엇입니까?

클래스를 만들고 그 클래스 안에 여러 메서드를 만들고 싶습니다. 한 가지 방법으로 목록을 가져 와서 숫자로 곱하고 다른 방법을 사용하면 같은 수를 가져 와서 목록으로 곱하면됩니다. 동일한 매개 변수 (목록 및 번호)를 사용하지만 역순으로 사용하기 때문에 __ rmul __ 내부에서 __ mul __을 (를) 호출하려고합니다. class Asgard(obje

python class methods 2017-12-15

---

1열

1답변

Guice : 방법으로 객체를 생성

한다고 가정 내가 클래스 Parser의 (파생 클래스의) 개체를 만들 수있는 두 개의 유사한 (그러나 다른) 방법 (또는 어쩌면 정적 메서드) create_x() 및 create_y()을 (그들 x 및 y 전화)를 모두 가지고있다. 는 지금은 answer to my previous question에서와 같이 이러한 두 가지 방법에 의해 생성 된 객체를 바인

java class methods dependency-injection guice 2017-12-15

---

0열

2답변

두 생성자 및 정적 문자열 변수

다소 혼란스러운 클래스가 있는데, 왜 superUser이 항상 인쇄되고 있는지 이해할 수 없습니다. 나는 만약 내가 private String username = "user"라고 쓰면, System.out.println(o1.username)과 같은 나의 main 메쏘드에서 그것을 부를 수 있었을 것이라는 것을 안다. 필자의 경우 위의 코드는 정적이기 때문

java methods constructor 2017-12-16

---

2열

2답변

const_cast를 사용하여 메서드의 비 const 변형 만들기

const_cast를 이미 구현 된 메서드의 비 const 버전을 만드는 데 사용할 수 있습니까? 이 줄을 따라 (실제 작업을 수행하는 const 메서드에 대한 권장 사항을 통해) 뭔가를 본 것 같지만 실제로 작동하는 방법을 잘 모르겠습니다. Value& const search(key) const { // find value with key

c++ methods return const const-cast 2017-12-16

---