auxiliary.app

module auxiliary

  // type String{
  //   substring(Int,Int):String
  // }

// function abbreviate(s : String, length : Int) : String {
// 	if(s.length() <= length) {
// 		return s;
// 	} else {
// 		return s.substring(0,length - 4) + " ...";
// 	}
// }

// function prefix(s : String, length : Int) : String {
// 	return s.substring(0,length);
// }

// function max(i1 : Int, i2 : Int) : Int {
// 	if(i1 >= i2) {
// 		return i1;
// 	}
// 	return i2;
// }

function maxList(is : List<Int>) : Int {
	var m : Int := is.get(0);
	for(i : Int from 0 to is.length - 1) {
		var current : Int := is.get(i); 
		m := max(m, current);
	}
	return m;
}

function prefix(s : List<Issue>, length : Int) : List<Issue> {
	if(s.length <= length) {
		return s;
	} else {
		s.removeAt(length);
		return prefix(s, length);
	}
}

define ajax validationFeedback(vem : ValidationExceptionMultiple){
	for(ve : ValidationException in vem.exceptions){
		output(ve.message)
	} separated-by { "; " }
}
  
function format(date : DateTime) : String {
	if(now().format("yyyy") == date.format("yyyy")) {
		return date.format("MMM d");
	} else {
		return date.format("MMM ''yy");
	}
}


// function format(date : DateTime) : String {
//   if(now().format("yyyy") == date.format("yyyy")) {
//     return date.format("d/MM");
//   } else {
//     return date.format("d/MM/yy");
//   }
// }

//define ajax template empty() {}

/* Provides continously loading pages: whenever the user scrolls down, more page is loaded
 * While higher-order templates are not yet supported:
 * Define an ajax template with a button of class continuousLoader, which triggers loading
 * of additional page content.
 */
define template continuousLoading() {
    includeJS(IncludePaths.jQueryJS()) //already included, but we must make sure this one gets included before auxiliary.js
	includeJS("auxiliary.js")
}