The Fortress Language Specification - CiteSeerX

getAPI (apiName:Name): Api
preferences(ofAPI:Api): 〈Component〉
compile(file: File): SimpleComponent
install(file: File): Component
install(file: File,prereqs: SetApi):Component
upgradeAll(componentName: Name,that: Component): ()
isValidLink(constituents: 〈Component〉,exports = SetApi,hide = SetApi):Boolean
link(result: Name,constituents: 〈Component〉,exports = SetApi,hide = SetApi): Component
requires isValidLink(constituents,exports,hide)
end
object EnclosingFortress extends { Fortress } end
trait FortressElement
elementName: Name
vendor: String
owner: Fortress
timeStamp: Date
version: Version
uninstall():()
end
trait Component extends FortressElement
imports: SetApi
exports:SetApi
provides:SetApi
visibles: SetApi
constituents: SetComponent
run(args: String . . .):()
constrain(destination: Name,apis: SetApi):Component
hide(destination: Name,apis: SetApi):Component
extract(prereqs: SetApi): File
isValidUpgrade(that:Component):Boolean
abstract upgrade(result:Name,that: Component):Component
requires self.isValidUpgrade(that)
sourceIsAvailable: Boolean
getSourceFile():File
requires sourceIsAvailable
runTests(inclusive = Boolean): ()
end
trait Api extends FortressElement
uses: SetApi
extraction:File
end
trait Name end
trait SimpleComponent extends Component end
trait Version
major: N
minor: N
end
end
270