Contents

schema Cloud {
	running : Bool

	sub create_vm (vm isref VM) {
		condition {
			this.running = true
			vm.created = false
		}
		effect {
			vm.in_cloud = this
			vm.created = true
		}
	}

	sub delete_vm (vm isref VM) {
		condition {
			this.running = true
			vm.created = true
			vm.in_cloud = this
		}
		effect {
			vm.created = false
			vm.in_cloud = null
		}
	}
}

Version data entries

5 entries across 5 versions & 1 rubygems

Version	Path
nuri-0.5.5	modules/cloud/cloud.sfp
nuri-0.5.4	modules/cloud/cloud.sfp
nuri-0.5.3	modules/cloud/cloud.sfp
nuri-0.5.2	modules/cloud/cloud.sfp
nuri-0.5.1	modules/cloud/cloud.sfp