Alloy20110922 01

712 views

Published on

  • Be the first to comment

Alloy20110922 01

  1. 1. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/224.6N. Shimizu (chikoski@gmail.com / @chikoski)
  2. 2. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22•  "•  "   "   3
  3. 3. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22•  "• 2 "  run : "  chek : "
  4. 4. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22•  "   "   "•  "   "   3 "
  5. 5. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22•  
 "•  
 "
  6. 6. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22abstract sig Object {}"sig Directory extends Object {}"sig File extends Object {}"sig Alias extends File {}"assert A { … }""check A for 3 Directory, 3 Alias "
  7. 7. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22abstract sig Object {}"sig Directory extends Object {}"sig File extends Object {}"sig Alias extends File {}"assert A { … }""check A for 3 Directory, 3 Alias "
  8. 8. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22check A for 5
  9. 9. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22check A for 5 but 3 Directory
  10. 10. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22sig Color {}"one sig Red, Yellow, Blue extends Color {}
  11. 11. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22check A for 5 but 3 Directory
  12. 12. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22exactly :check A for exactly 3 Directory, " exactly 3 Alias, " 5 File
  13. 13. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22exactly :check A for exactly 3 Directory, " exactly 3 Alias, " 5 File
  14. 14. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22exactly :check A for exactly 3 Directory, " exactly 3 Alias, " 5 File
  15. 15. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22 

  16. 16. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22" 10
  17. 17. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
  18. 18. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
  19. 19. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22 "
  20. 20. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22 "check { all p, q : univ -> univ, s : set S |(p.s).q = p.(s.q)}
  21. 21. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22•  "   "   run , check"•  "   3 "  for "

×