ocaps:Scala的对象功能（ocap）工具和宏
需积分: 12 162 浏览量
2021-05-08
04:49:02
上传
评论
收藏 1.61MB ZIP 举报
ocaps-master.zip （81个子文件） 
ocaps-master project 
MermaidDirective.scala 1020B build.properties 17B OcapsPlugin.scala 2KB plugins.sbt 894B src test scala ocaps MacrosSpec.scala 3KB examples Amplification.scala 2KB Effects.scala 3KB SealedMint.scala 2KB Attenuation.scala 2KB Revocation.scala 3KB Gatekeeper.scala 9KB Delegation.scala 2KB Composition.scala 2KB horton Horton.scala 5KB Main.scala 2KB package.scala 363B Construction.scala 3KB Membrane.scala 3KB Subtypes.scala 3KB RepositoryComposition.scala 4KB Modulation.scala 2KB DynamicSeal.scala 3KB Expiration.scala 3KB RevokerSpec.scala 553B BrandSpec.scala 5KB PermeableMembraneSpec.scala 4KB main scala ocaps PermeableMembrane.scala 2KB Forwarder.scala 825B macros.scala 11KB Brand.scala 6KB Revocable.scala 2KB Revoker.scala 3KB paradox index.md 2KB examples membrane.md 509B index.md 2KB dynamic_seal.md 802B delegation.md 738B revocation.md 728B abstraction.md 719B modulation.md 805B expiration.md 488B amplification.md 543B attenuation.md 382B composition.md 471B horton.md 2KB gatekeeper.md 1KB construction index.md 231B effects.md 92B subtypes.md 283B access.md 570B composition.md 383B assets stylesheets mermaid.custom.css 5KB javascripts mermaid-load.js 57B mermaid 8.0.0-rc.8 mermaid.js 1.69MB mermaid.core.js 398KB mermaid.min.js 834KB 7.1.2 mermaid.js 5KB mermaid.min.js.map 2.06MB mermaid.min.js 817KB mermaid.md 2KB guide index.md 1KB management.md 9KB designing.md 297B introduction.md 9KB authorization.md 8KB notes.md 19KB confinement.md 8KB construction.md 17KB _template page.st 8KB running.md 828B slides 
index.html 21KB
string.png 20KB remark-latest.min.js 650KB .travis.yml 341B LICENSE 11KB build.sbt 4KB version.sbt 41B README.md 2KB .gitignore 497B CHANGELOG.md 334B .scalafmt.conf 46B资源评论
