package org.autoplot.hapiserver;
import java.io.File;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.io.PrintWriter;
import java.io.UnsupportedEncodingException;
import java.net.URLEncoder;
import java.nio.charset.Charset;
import java.util.Arrays;
import java.util.Calendar;
import java.util.HashMap;
import java.util.Locale;
import java.util.Map;
import java.util.TimeZone;
import java.util.logging.Level;
import java.util.logging.Logger;
import java.util.regex.Matcher;
import java.util.regex.Pattern;
import javax.servlet.ServletContext;
import javax.servlet.http.HttpServletResponse;
import org.das2.qds.DataSetUtil;
import org.json.JSONArray;
import org.json.JSONException;
import org.json.JSONObject;
/**
* helpful functions.
* @author jbf
*/
public class Util {
private static final Logger LOGGER= Logger.getLogger("hapi");
/**
* return the duration in a easily-human-consumable form.
* @param dt the duration in milliseconds.
* @return a duration like "2.6 hours"
*/
public static String getDurationForHumans( long dt ) {
if ( dt<2*1000 ) {
return dt+" milliseconds";
} else if ( dt<2*60000 ) {
return String.format( Locale.US, "%.1f",dt/1000.)+" seconds";
} else if ( dt<2*3600000 ) {
return String.format( Locale.US, "%.1f",dt/60000.)+" minutes";
} else if ( dt<2*86400000 ) {
return String.format( Locale.US, "%.1f",dt/3600000.)+" hours";
} else {
return String.format( Locale.US, "%.1f",dt/86400000.)+" days";
}
}
/**
* if HAPI_HOME has not been set, then set it.
* @param context
*/
public static void maybeInitialize( ServletContext context ) {
if ( HAPI_HOME==null ) {
String s= context.getInitParameter(HAPI_SERVER_HOME_PROPERTY);
setHapiHome( new File( s ) );
}
}
private static volatile File HAPI_HOME=null;
/**
* return the root of the HAPI server.
* @return the root of the HAPI server.
*/
public static File getHapiHome() {
if ( Util.HAPI_HOME==null ) {
throw new IllegalArgumentException("Util.HAPI_HOME is not set, load info page first.");
} else {
return Util.HAPI_HOME;
}
}
public static void setHapiHome( File f ) {
File HAPI_HOME_ = Util.HAPI_HOME;
if ( HAPI_HOME_==null ) {
synchronized ( Util.class ) {
HAPI_HOME_ = Util.HAPI_HOME;
if ( HAPI_HOME_==null ) {
Util.HAPI_HOME= f;
}
}
} else {
// it has been set already.
}
}
/**
* This should point to the name of the directory containing HAPI configuration.
* This directory should contain catalog.json, capabilities.json and a
* subdirectory "info" which contains files with the name <ID>.json,
* each containing the info response. Note these should also contain a
* tag "x_uri" which is the Autoplot URI that serves this data.
*/
public static final String HAPI_SERVER_HOME_PROPERTY = "HAPI_SERVER_HOME";
/**
* return the HAPI protocol version.
* @return the HAPI protocol version.
*/
public static final String hapiVersion() {
return "3.0";
}
/**
* return the server implementation version.
* @return the server implementation version.
*/
public static final String serverVersion() {
return "20211105.1854";
}
static boolean isKey(String key) {
Pattern p= Pattern.compile("\\d{8}+");
return p.matcher(key).matches();
}
/**
* convert IDs and NAMEs into safe names which will work on all platforms.
* If the name is modified, it will start with an _.
*
poolTemperature -> poolTemperature
* Iowa City Conditions -> _Iowa+City+Conditions
* @param s
* @return
*/
public static final String fileSystemSafeName( String s ) {
Pattern p= Pattern.compile("[a-zA-Z0-9\\-\\+\\*\\._]+");
Matcher m= p.matcher(s);
if ( m.matches() ) {
return s;
} else {
String s1= s.replaceAll("\\+","2B");
s1= s1.replaceAll(" ","\\+");
if ( p.matcher(s1).matches() ) {
return "_" + s1;
} else {
byte[] bb= s.getBytes( Charset.forName("UTF-8") );
StringBuilder sb= new StringBuilder("_");
for ( byte b: bb ) {
sb.append( String.format("%02X", b) );
}
return sb.toString();
}
}
}
/**
* this key can create place for the data
* @param id
* @param key
* @return
*/
static boolean keyCanCreate(String id,String key) {
if ( !isKey(key) ) {
throw new IllegalArgumentException("is not a key: "+key);
}
File keyFile= new File( getHapiHome(), "keys" );
if ( !keyFile.exists() ) return false;
keyFile= new File( keyFile, fileSystemSafeName(id) + ".json" );
if ( !keyFile.exists() ) return false;
try {
JSONObject jo= HapiServerSupport.readJSON(keyFile);
if ( jo.has(key) ) {
jo= jo.getJSONObject(key);
return jo.getBoolean("create");
} else {
return false;
}
} catch ( IOException | JSONException ex ) {
throw new RuntimeException(ex);
}
}
/**
* this key can modify or add records to the data
* @param id
* @param key
* @return
*/
static boolean keyCanModify(String id,String key) {
if ( !isKey(key) ) {
throw new IllegalArgumentException("is not a key: "+key);
}
File keyFile= new File( getHapiHome(), "keys" );
if ( !keyFile.exists() ) return false;
keyFile= new File( keyFile, fileSystemSafeName(id) + ".json" );
if ( !keyFile.exists() ) return false;
try {
JSONObject jo= HapiServerSupport.readJSON(keyFile);
if ( jo.has(key) ) {
jo= jo.getJSONObject(key);
return jo.getBoolean("modify") || jo.getBoolean("create");
} else {
return false;
}
} catch ( IOException | JSONException ex ) {
throw new RuntimeException(ex);
}
}
/**
* this key can delete records from the data
* @param id
* @param key
* @return
*/
static boolean keyCanDelete(String id,String key) {
if ( !isKey(key) ) {
throw new IllegalArgumentException("is not a key: "+key);
}
File keyFile= new File( getHapiHome(), "keys" );
if ( !keyFile.exists() ) return false;
keyFile= new File( keyFile, fileSystemSafeName(id) + ".json" );
if ( !keyFile.exists() ) return false;
try {
JSONObject jo= HapiServerSupport.readJSON(keyFile);
if ( jo.has(key) ) {
jo= jo.getJSONObject(key);
return jo.getBoolean("delete") || jo.getBoolean("create");
} else {
return false;
}
} catch ( IOException | JSONException ex ) {
throw new RuntimeException(ex);
}
}
/**
* transfers the data from one channel to another. src and dest are
* closed after the operation is complete.
* @param src
* @param dest
* @throws java.io.IOException
*/
public static void transfer( InputStream src, OutputStream dest ) throws IOException {
final byte[] buffer = new byte[ 16 * 1024 ];
int i= src.read(buffer);
while ( i != -1) {
dest.write(buffer,0,i);
i= src.read(buffer);
}
dest.close();
src.close();
}
/**
* return true if this is valid JSON, false otherwise, and log the exception at SEVERE.
* @param json
* @return
*/
public static boolean validateJSON( String json ) {
try {
new JSONObject( json );
return true;
} catch (JSONException ex) {
Logger.getLogger(Util.class.getName()).log(Level.SEVERE, null, ex);
return false;
}
}
/**
* send a "bad id" response to the client.
* @param id the id.
* @param response the response object
* @param out the print writer for the response object.
*/
public static void raiseBadId(String id, HttpServletResponse response, final PrintWriter out) {
try {
JSONObject jo= new JSONObject();
jo.put("HAPI",Util.hapiVersion());
jo.put("createdAt",String.format("%tFT% map= new HashMap(); // map from name to index in dataset.
Map iMap= new HashMap(); // map from name to position in csv.
JSONArray jsonParameters= info.getJSONArray("parameters");
int index=0;
int[] lens= getNumberOfElements(info);
for ( int i=0; i=0; k-- ) {
newParameters.put( k+1, newParameters.get(k) );
}
newParameters.put(0,jsonParameters.get(0));
}
// unpack the resort where the lengths are greater than 1.
int[] indexMap1= new int[ DataSetUtil.sum(lengths) ];
int c= 0;
if ( indexMap1.length>indexMap.length ) {
for ( int k=0; k -1) {
if (j0 < nf) {
throw new IllegalArgumentException("expected " + nf + " fields");
} else if (j0 != nf) {
LOGGER.log(Level.WARNING, "expected {0} fields, got {1}", new Object[]{nf, j0});
}
}
return Arrays.copyOfRange(result, 0, j0);
}
}
/**
* properly trim the byte array containing a UTF-8 String to a limit
* @param bytes the bytes
* @param k the number of bytes
* @return
*/
public static byte[] trimUTF8( byte[] bytes, int k ) {
if ( bytes.length==k ) return bytes;
int b= bytes[k];
if ( b>127 ) { // uh-oh, we are mid-UTF8-extended character.
while ( k>0 && b>127 ) {
k=k-1;
b= bytes[k];
}
}
bytes= Arrays.copyOf( bytes, k );
return bytes;
}
public static void main( String[] args ) {
String line= "a,b,\"c,d\"";
String[] ss;
ss= csvSplit( line, -1 );
for ( String s: ss ) {
System.err.println( s );
}
}
}