001: /*****************************************************************************
002: * Source code information
003: * -----------------------
004: * Original author Ian Dickinson, HP Labs Bristol
005: * Author email ian.dickinson@hp.com
006: * Package Jena 2
007: * Web http://sourceforge.net/projects/jena/
008: * Created 08-Sep-2003
009: * Filename $RCSfile: MaxCardinalityQRestrictionImpl.java,v $
010: * Revision $Revision: 1.8 $
011: * Release status $State: Exp $
012: *
013: * Last modified on $Date: 2008/01/02 12:08:02 $
014: * by $Author: andy_seaborne $
015: *
016: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
017: * [See end of file]
018: *****************************************************************************/package com.hp.hpl.jena.ontology.impl;
019:
020: // Imports
021: ///////////////
022: import com.hp.hpl.jena.enhanced.*;
023: import com.hp.hpl.jena.graph.*;
024: import com.hp.hpl.jena.ontology.*;
025:
026: /**
027: * <p>
028: * Implementation of the max qualified cardinality restriction
029: * </p>
030: *
031: * @author Ian Dickinson, HP Labs
032: * (<a href="mailto:Ian.Dickinson@hp.com" >email</a>)
033: * @version CVS $Id: MaxCardinalityQRestrictionImpl.java,v 1.8 2008/01/02 12:08:02 andy_seaborne Exp $
034: */
035: public class MaxCardinalityQRestrictionImpl extends
036: QualifiedRestrictionImpl implements MaxCardinalityQRestriction {
037: // Constants
038: //////////////////////////////////
039:
040: // Static variables
041: //////////////////////////////////
042:
043: /**
044: * A factory for generating QualifiedRestriction facets from nodes in enhanced graphs.
045: * Note: should not be invoked directly by user code: use
046: * {@link com.hp.hpl.jena.rdf.model.RDFNode#as as()} instead.
047: */
048: public static Implementation factory = new Implementation() {
049: public EnhNode wrap(Node n, EnhGraph eg) {
050: if (canWrap(n, eg)) {
051: return new MaxCardinalityQRestrictionImpl(n, eg);
052: } else {
053: throw new ConversionException("Cannot convert node "
054: + n + " to MaxCardinalityQRestriction");
055: }
056: }
057:
058: public boolean canWrap(Node node, EnhGraph eg) {
059: return isMaxCardinalityQRestriction(node, eg);
060: }
061: };
062:
063: public static boolean isMaxCardinalityQRestriction(Node node,
064: EnhGraph eg) {
065: // node will support being a QualifiedRestriction facet if it has rdf:type owl:Restriction or equivalent
066: Profile profile = (eg instanceof OntModel) ? ((OntModel) eg)
067: .getProfile() : null;
068: return (profile != null)
069: && profile.isSupported(node, eg,
070: MaxCardinalityQRestriction.class);
071: }
072:
073: public boolean isValid() {
074: return super .isValid()
075: && isMaxCardinalityQRestriction(asNode(), getGraph());
076: }
077:
078: // Instance variables
079: //////////////////////////////////
080:
081: /**
082: * <p>
083: * Construct a qualified restriction node represented by the given node in the given graph.
084: * </p>
085: *
086: * @param n The node that represents the resource
087: * @param g The enh graph that contains n
088: */
089: public MaxCardinalityQRestrictionImpl(Node n, EnhGraph g) {
090: super (n, g);
091: }
092:
093: // Constructors
094: //////////////////////////////////
095:
096: // External signature methods
097: //////////////////////////////////
098:
099: /**
100: * <p>Assert that this restriction restricts the property to have the given
101: * max cardinality. Any existing statements for <code>cardinalityQ</code>
102: * will be removed.</p>
103: * @param cardinality The cardinality of the restricted property
104: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY_Q()} property is not supported in the current language profile.
105: */
106: public void setMaxCardinalityQ(int cardinality) {
107: setPropertyValue(getProfile().MAX_CARDINALITY_Q(),
108: "MAX_CARDINALITY_Q", getModel().createTypedLiteral(
109: cardinality));
110: }
111:
112: /**
113: * <p>Answer the cardinality of the restricted property.</p>
114: * @return The cardinality of the restricted property
115: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY_Q()} property is not supported in the current language profile.
116: */
117: public int getMaxCardinalityQ() {
118: return objectAsInt(getProfile().MAX_CARDINALITY_Q(),
119: "MAX_CARDINALITY_Q");
120: }
121:
122: /**
123: * <p>Answer true if this property restriction has the given cardinality.</p>
124: * @param cardinality The cardinality to test against
125: * @return True if the given cardinality is the cardinality of the restricted property in this restriction
126: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY_Q()} property is not supported in the current language profile.
127: */
128: public boolean hasMaxCardinalityQ(int cardinality) {
129: return hasPropertyValue(getProfile().MAX_CARDINALITY_Q(),
130: "MAX_CARDINALITY_Q", getModel().createTypedLiteral(
131: cardinality));
132: }
133:
134: /**
135: * <p>Remove the statement that this restriction has the given cardinality
136: * for the restricted property. If this statement
137: * is not true of the current model, nothing happens.</p>
138: * @param cardinality A cardinality value to be removed from this restriction
139: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY_Q()} property is not supported in the current language profile.
140: */
141: public void removeMaxCardinalityQ(int cardinality) {
142: removePropertyValue(getProfile().MAX_CARDINALITY_Q(),
143: "MAX_CARDINALITY_Q", getModel().createTypedLiteral(
144: cardinality));
145: }
146:
147: // Internal implementation methods
148: //////////////////////////////////
149:
150: //==============================================================================
151: // Inner class definitions
152: //==============================================================================
153:
154: }
155:
156: /*
157: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
158: * All rights reserved.
159: *
160: * Redistribution and use in source and binary forms, with or without
161: * modification, are permitted provided that the following conditions
162: * are met:
163: * 1. Redistributions of source code must retain the above copyright
164: * notice, this list of conditions and the following disclaimer.
165: * 2. Redistributions in binary form must reproduce the above copyright
166: * notice, this list of conditions and the following disclaimer in the
167: * documentation and/or other materials provided with the distribution.
168: * 3. The name of the author may not be used to endorse or promote products
169: * derived from this software without specific prior written permission.
170: *
171: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
172: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
173: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
174: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
175: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
176: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
177: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
178: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
179: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
180: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
181: */
|