how to use signale keyword?

nhatminhle / cofoja

Contracts for Java

GNU Lesser General Public License v3.0

151 stars 18 forks source link

Open tigerlei010 opened 6 years ago

tigerlei010 commented 6 years ago

keyword can be used in ThrowEnsures , can u give a example for this keyword?