01: /*
02: * @(#)formatTime.java 1.2 04/12/06
03: *
04: * Copyright (c) 1997-2004 Sun Microsystems, Inc. All Rights Reserved.
05: *
06: * See the file "LICENSE.txt" for information on usage and redistribution
07: * of this file, and for a DISCLAIMER OF ALL WARRANTIES.
08: */
09: package org.pnuts.lib;
10:
11: import java.util.Date;
12: import pnuts.lang.Context;
13: import pnuts.lang.PnutsFunction;
14:
15: public class formatTime extends PnutsFunction {
16:
17: public formatTime() {
18: super ("formatTime");
19: }
20:
21: public boolean defined(int nargs) {
22: return nargs == 1 || nargs == 2;
23: }
24:
25: protected Object exec(Object[] args, Context context) {
26: int nargs = args.length;
27: if (nargs == 1) {
28: return DateTimeFormat.formatTime((Date) args[0], context);
29: } else if (nargs == 2) {
30: return DateTimeFormat.formatTime((Date) args[0],
31: (String) args[1], context);
32: } else {
33: undefined(args, context);
34: return null;
35: }
36: }
37:
38: public String toString() {
39: return "function formatTime(date {, style })";
40: }
41: }
|