(final String desc)
| 117 | } |
| 118 | |
| 119 | public static UnOpenedMeta choose(final String desc) { |
| 120 | return new UnOpenedMeta(desc, JoinOperation.ChooseOne); |
| 121 | } |
| 122 | public static UnOpenedMeta random(final String desc) { |
| 123 | return new UnOpenedMeta(desc, JoinOperation.RandomOne); |
| 124 | } |
no outgoing calls
no test coverage detected