org.topbraid.spin.vocabulary
Class SPIN

java.lang.Object
  extended by org.topbraid.spin.vocabulary.SPIN

public class SPIN
extends java.lang.Object

Vocabulary of the SPIN Modeling Vocabulary.

Author:
Holger Knublauch

Field Summary
static Resource _arg1
           
static Resource _arg2
           
static Resource _arg3
           
static Resource _arg4
           
static Resource _arg5
           
static Resource _this
           
static Property abstract_
           
static Resource AskTemplate
           
static java.lang.String BASE_URI
           
static Property body
           
static Property constraint
           
static Resource ConstraintViolation
           
static Property constructor
           
static Resource ConstructTemplate
           
static Property fix
           
static Resource Function
           
static Resource Functions
           
static Property imports
           
static Property labelTemplate
           
static Resource LibraryOntology
           
static Resource MagicProperties
           
static Resource MagicProperty
           
static Resource Module
           
static Resource Modules
           
static Property nextRuleProperty
           
static java.lang.String NS
           
static java.lang.String PREFIX
           
static Property query
           
static Property returnType
           
static Property rule
           
static Resource RuleProperty
           
static Property rulePropertyMaxIterationCount
           
static Resource SelectTemplate
           
static Property symbol
           
static Resource Template
           
static Resource Templates
           
static java.lang.String THIS_VAR_NAME
           
static Property thisUnbound
           
static Resource UpdateTemplate
           
static Property violationPath
           
static Property violationRoot
           
 
Constructor Summary
SPIN()
           
 
Method Summary
static Model getModel()
          Gets a Model with the content of the SPIN namespace, from a file that is bundled with this API.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BASE_URI

public static final java.lang.String BASE_URI
See Also:
Constant Field Values

NS

public static final java.lang.String NS
See Also:
Constant Field Values

PREFIX

public static final java.lang.String PREFIX
See Also:
Constant Field Values

THIS_VAR_NAME

public static final java.lang.String THIS_VAR_NAME
See Also:
Constant Field Values

AskTemplate

public static final Resource AskTemplate

ConstraintViolation

public static final Resource ConstraintViolation

ConstructTemplate

public static final Resource ConstructTemplate

Function

public static final Resource Function

Functions

public static final Resource Functions

LibraryOntology

public static final Resource LibraryOntology

MagicProperties

public static final Resource MagicProperties

MagicProperty

public static final Resource MagicProperty

Module

public static final Resource Module

Modules

public static final Resource Modules

RuleProperty

public static final Resource RuleProperty

SelectTemplate

public static final Resource SelectTemplate

Template

public static final Resource Template

Templates

public static final Resource Templates

UpdateTemplate

public static final Resource UpdateTemplate

abstract_

public static final Property abstract_

body

public static final Property body

constraint

public static final Property constraint

constructor

public static final Property constructor

fix

public static final Property fix

imports

public static final Property imports

labelTemplate

public static final Property labelTemplate

nextRuleProperty

public static final Property nextRuleProperty

query

public static final Property query

returnType

public static final Property returnType

rule

public static final Property rule

rulePropertyMaxIterationCount

public static final Property rulePropertyMaxIterationCount

symbol

public static final Property symbol

thisUnbound

public static final Property thisUnbound

violationPath

public static final Property violationPath

violationRoot

public static final Property violationRoot

_arg1

public static final Resource _arg1

_arg2

public static final Resource _arg2

_arg3

public static final Resource _arg3

_arg4

public static final Resource _arg4

_arg5

public static final Resource _arg5

_this

public static final Resource _this
Constructor Detail

SPIN

public SPIN()
Method Detail

getModel

public static Model getModel()
Gets a Model with the content of the SPIN namespace, from a file that is bundled with this API.

Returns:
the namespace Model