quartus狀態機生成

這個想法是幾周前在設計“生成器”類時想到的，該類必須將輸入發送給封裝的Writer 。 實際上，它是Builder模式。 但是，規則有些復雜，用戶必須以某種方式調用add...()方法，才能正確生成輸出。

不用說，我不喜歡只有一個BuilderImpl類可以在內部設置和驗證各種標志，以便知道什么以及什么時候可以做的選擇。 解決方案是構建一個有限狀態機 ，因為構建者的界面很流暢。 像往常一樣，在這篇文章中，我將通過一個例子來說明。

湯姆和杰瑞（Tom＆Jerry）–《老鼠麻煩》，威廉·漢納（William Hanna）和約瑟夫·巴貝拉（Joseph Barbera）

假設我們要實現一個DateBuilder ，它將以經典的dd.mm.yyyy格式（可能還帶有其他類型的分隔符，不僅是. ）生成一個String 。 為了簡單起見，我們將僅關注格式，而忽略諸如一個月中的天數，leap年之類的情況。首先是界面：

public interface DateBuilder {DateBuilder addDay(final Integer day);DateBuilder addMonth(final Integer month);DateBuilder addYear(final Integer year);DateBuilder addSeparator(final String sep);String build();}

上面的接口將有五個實現： StringDateBuilder （公共入口點）， ExpectSeparator ， ExpectMonth ， ExpectYear和ExpectBuild （這四個是受程序包保護的，對用戶不可見）。 StringDataBuilder看起來像這樣：

public final class StringDateBuilder implements DateBuilder {private final StringBuilder date = new StringBuilder();@Overridepublic DateBuilder addDay(final Integer day) {this.date.append(String.valueOf(day));return new ExpectSeparator(this.date);}@Overridepublic DateBuilder addMonth(final Integer month) {throw new UnsupportedOperationException("A day is expected first! Use #addDay!");}@Overridepublic DateBuilder addYear(final Integer year) {throw new UnsupportedOperationException("A day is expected first! Use #addDay!"); }@Overridepublic DateBuilder addSeparator(final String sep) {throw new UnsupportedOperationException("A day is expected first! Use #addDay!");}@Overridepublic String build() {throw new UnsupportedOperationException("Nothing to build yet! Use #addDay!");}}

我相信您已經明白了：其他四個實現將處理它們自己的情況。 例如， ExpectSeparator將從addSeparator(...)之外的所有方法中引發異常，在該方法中，它將分隔符附加到StringBuilder并返回ExpectMonth的實例。 最后，這臺機器的最后一個節點將是ExpectBuild （在添加年份之后由ExpectYear返回），它將拋出除了build()之外所有方法的異常。

這種設計幫助我將代碼對象保持較小，沒有標志和if/else分支。 與往常一樣，上面的每個類都易于測試，并且通過切換返回的實現，可以輕松更改構建器的行為。

當然，我不是唯一想到這些的人。 尼古拉斯·弗蘭克（NicolasFr?nkel）就在上個月在這里寫下了這個想法。 但是，我覺得有必要帶走我的兩分錢，因為我不完全喜歡他的例子：他為構建器的節點使用了不同的接口，以保持構建器的安全性和防白癡性（例如，甚至不允許用戶查看addMonth或build方法（如果他們不應該使用的話）。 我不同意這一點，因為這意味著我需要管理更多的代碼，此外，客戶端將與構建者的邏輯相結合。 我寧愿只強制用戶到學習如何使用生成器（它不應該是他們的一個大的努力，因為他們應該搭上一個最簡單的單元測試任何異常，對不對？ 吧... ）

我也找到了這篇文章 ，它提供了更廣泛，更理論上的解釋，并不一定與Builder模式相關聯–如果您考慮一下，這種方法可以用于任何必須根據其內部狀態更改其行為的對象。

翻譯自: https://www.javacodegeeks.com/2018/12/builder-fail-fast-state-machine.html

quartus狀態機生成

總結

以上是生活随笔為你收集整理的quartus状态机生成_生成器作为（快速失败）状态机的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。