This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import com.soywiz.korge.* | |
| import com.soywiz.korge.html.* | |
| import com.soywiz.korge.view.* | |
| import com.soywiz.korim.color.* | |
| import com.soywiz.korim.font.* | |
| import com.soywiz.korim.format.* | |
| import com.soywiz.korio.file.std.* | |
| import com.soywiz.korma.geom.* | |
| import com.soywiz.korma.geom.vector.* |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| java.base | |
| java.compiler | |
| java.datatransfer | |
| java.instrument | |
| java.logging | |
| java.management | |
| java.management.rmi | |
| java.naming | |
| java.net.http | |
| java.prefs |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| java.base | |
| java.compiler | |
| java.datatransfer | |
| java.desktop | |
| java.instrument | |
| java.logging | |
| java.management | |
| java.management.rmi | |
| java.naming | |
| java.net.http |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| subscriber.receive(_) >> { throw new InternalError("ouch") } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| given: | |
| def stack = new Stack() | |
| when: | |
| stack.pop() | |
| then: | |
| thrown(EmptyStackException) | |
| stack.empty |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| subscriber.receive(_) >> "ok" | |
| | | | | | |
| | | | gerador de resposta | |
| | | argumento de restrição | |
| | método de restrição | |
| objeto de restrição |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class Publisher { | |
| private Subscriber subscriber | |
| Publisher(Subscriber subscriber) { | |
| this.subscriber = subscriber | |
| } | |
| String sendAndGetStatus(String message) { | |
| return subscriber.receive(message) | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 1 * subscriber1.receive("hello") | |
| | | | | | |
| | | | restrição de argumento | |
| | | restrição de método | |
| | restrição de alvo | |
| restrição por cardinalidade |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class Publisher { | |
| List<Subscriber> subscribers = [] | |
| void send(String message){ | |
| subscribers*.receive(message) | |
| } | |
| } | |
| interface Subscriber { | |
| void receive(String message) | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Subscriber subscriber1 = Mock() | |
| Subscriber subscriber2 = Mock() |
NewerOlder