@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { return XSDDateTime.getInstance().getLiteral(getValue(input)); }
@Override public Datatype<?> getPrimitiveDatatype() { return XSDDateTime.getInstance(); }
protected static RestrictedTimelineDatatype create(final RestrictedTimelineDatatype other, final List<ContinuousRealInterval> wzIntervals, final List<ContinuousRealInterval> nzIntervals) { return new RestrictedTimelineDatatype(other, wzIntervals, nzIntervals); }
@Override public String apply(final String... args) { if (args.length < 3 || args.length > 4) return null; String tz = ""; if (args.length == 4) tz = args[3]; final String timeString = toTime(args[0], args[1], args[2]) + tz; if (!checkValue(timeString, XSDTime.getInstance())) return null; return timeString; }
@Override public String apply(final String... args) { if (args.length < 3 || args.length > 4) return null; String tz = ""; if (args.length == 4) tz = args[3]; final String dateString = toDate(args[0], args[1], args[2]) + tz; if (!checkValue(dateString, XSDDate.getInstance())) return null; return dateString; }
protected static RestrictedTimelineDatatype create(final RestrictedTimelineDatatype other, final List<ContinuousRealInterval> wzIntervals, final List<ContinuousRealInterval> nzIntervals) { return new RestrictedTimelineDatatype(other, wzIntervals, nzIntervals); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { return XSDDateTime.getInstance().getLiteral(getValue(input)); }
@Override public Datatype<?> getPrimitiveDatatype() { return XSDDateTime.getInstance(); }
@Override public String apply(final String... args) { if (args.length < 3 || args.length > 4) return null; String tz = ""; if (args.length == 4) tz = args[3]; final String timeString = toTime(args[0], args[1], args[2]) + tz; if (!checkValue(timeString, XSDTime.getInstance())) return null; return timeString; }
@Override public String apply(final String... args) { if (args.length < 3 || args.length > 4) return null; String tz = ""; if (args.length == 4) tz = args[3]; final String dateString = toDate(args[0], args[1], args[2]) + tz; if (!checkValue(dateString, XSDDate.getInstance())) return null; return dateString; }
private XSDGMonth() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "gMonth"), DatatypeConstants.GMONTH); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.GMONTH, false); }
@Override public String apply(final String... args) { if (args.length < 6 || args.length > 7) return null; String tz = ""; if (args.length == 7) tz = args[6]; final String dateTimeString = toDate(args[0], args[1], args[2]) + "T" + toTime(args[3], args[4], args[5]) + tz; if (!checkValue(dateTimeString, XSDDateTime.getInstance())) return null; return dateTimeString; }
private XSDDateTime() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "dateTime"), DatatypeConstants.DATETIME); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.DATETIME, false); }
@Override public String apply(final String... args) { if (args.length < 6 || args.length > 7) return null; String tz = ""; if (args.length == 7) tz = args[6]; final String dateTimeString = toDate(args[0], args[1], args[2]) + "T" + toTime(args[3], args[4], args[5]) + tz; if (!checkValue(dateTimeString, XSDDateTime.getInstance())) return null; return dateTimeString; }
private XSDGYearMonth() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "gYearMonth"), DatatypeConstants.GYEARMONTH); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.GYEARMONTH, false); }
private XSDDate() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "date"), DatatypeConstants.DATE); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.DATE, false); }
private XSDGYearMonth() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "gYearMonth"), DatatypeConstants.GYEARMONTH); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.GYEARMONTH, false); }
private XSDGDay() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "gDay"), DatatypeConstants.GDAY); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.GDAY, false); }
private XSDDateTime() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "dateTime"), DatatypeConstants.DATETIME); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.DATETIME, false); }
private XSDGMonthDay() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "gMonthDay"), DatatypeConstants.GMONTHDAY); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.GMONTHDAY, false); }