dialyzer

1熱度

1回答

我是新來透析器，和我希望的它是由回答這個問題操作時有人能夠給我一個快速的想法。我認爲下面的函數，給定一個數X和一個非負整數n，將產生一個數字。（X到N次方） -spec pow(X :: number(), N :: non_neg_integer) -> number(). pow(X, N) -> pow(X, N, 1). pow(_X, 0, R) -> R;

4熱度

1回答

Erlang：透析器對於大項目來說已經很慢了

Scalaris key-value store是一個大型的Erlang項目，有100個模塊。我正在這個項目中實施一個新模塊，並且透析器需要多長時間來完成項目的一個完整檢查。在我的機器上運行make dialyzer大約需要200秒，這對於頻繁測試和實施更改而言是不堪忍受的。 make dialyzer運行以下命令來啓動透析： /usr/lib/erlang/bin/dialyzer -Dtid_

3熱度

3回答

Erlang透析器不同體系結構之間的PLT文件可移植性

您是否可以將Dialyzer PLT輸出複製並用於不同架構的另一臺機器？例如，我在x86_64 Linux機器上構建了PLT文件。我可以在x86 FreeBSD或Windows機器上使用該文件嗎？

1熱度

1回答

erlang透析器和擴展模塊

透析器不喜歡調用基本模塊中的功能。有沒有透析標誌來跳過這個錯誤，或者我做錯了什麼。下面是類似的代碼： -module(base). -export(foo/1). foo(X) -> X*2. -module(derived). -extends(base). -export(xyz/0). xyz() -> ?MODULE:foo(5). 這段代碼工作，我期望

0熱度

1回答

如何在Dialyzer中忽略「ifdef（TEST）」？

dialyzer -dNOTEST沒有爲它工作。有沒有人有解決方法？

5熱度

2回答

爲什麼透析器告訴我這個有趣的合同有重疊的域名？

我正在閱讀有趣的在線圖書「learn you some erlang」並嘗試一些練習來檢查我的理解。我提出的FIFO例如，一些變型中，在章節型規格和Erlang，試圖定義一個「typed_fifo（T）」（一個FIFO其中所有元素必須是相同的類型T的）我喜歡的類型規格有： -type typed_empty_fifo() :: {fifo, [], []}. -type typed_nonem

3熱度

3回答

Ajax延遲模擬

我有一個小的ajax jquery腳本，它爲我返回一些XML。雖然它正在工作並與服務器通信，但我正在顯示加載程序動畫。問題是我沒有看到動畫。要麼我做錯了什麼，要麼網絡連接非常快。有誰知道我可以如何在我的ajax代碼中引入一個延遲來減慢過程，並且我可以測試動畫功能？謝謝。 PS：AJAX代碼如下，只是櫃面 function fetchData($nodeid, $area){ if(

2熱度

1回答

運行沒有顯示任何警告

在一個項目中有大約6000行的Erlang代碼，但沒有-spec()類型註釋但我試過如下： typer --annotate *.erl 的我全部換成*.erl文件與註釋那些跑 dialyzer --src -c *.erl 我希望得到很多的警告（RAN透析器/類型確定組合的第一次），但這樣做的事情後，所有的報道都是透析器2個調用user_default到同時不存在FUNC蒸發散。沒有其

1熱度

1回答

在應用程序上運行透析器：我應該將相關性添加到PLT嗎？

我有一個erlang應用程序在應用程序中的子應用程序和deps /中的依賴項。在子應用程序的一個運行透析器，例如： $ dialyzer -r apps/app1/src --src 作品，但列爲「未知函數」從DEPS應用的各種功能。那麼，我應該添加deps應用程序到plt，還是我應該相信他們的作者已經完成了他們自己的測試？我能想到的合理論據之一：可能會發現下游的bug; 將堵塞清理我自

0熱度

1回答

來自werl.exe的Erlang dialyzer？

我嘗試從werl命令行運行dialyzer --help並掛起。我錯過了什麼嗎？它只適用於dos shell（我在XP SP3上）？