Package jason.stdlib

Class time

java.lang.Object
All Implemented Interfaces:
InternalAction, java.io.Serializable

@Manual(literal=".time(hour,minute,second,milliseconds)",
        hint="gets the current time (hour, minute, seconds, and milliseconds).",
        argsHint={"the hours (from 0 to 23)","the minutes (from 0 to 59)","the seconds (from 0 to 59)","the milliseconds (from 0 to 999)"},
        argsType={"number","number","number","number"},
        examples={".time(H,M,S): unifies H with the current hour, M with the current minutes, and S with the current seconds",".time(H,M,S,MS): unifies H with the current hour, M with the current minutes, S with the current seconds, and MS with the current milliseconds",".time(15,_,_): succeeds if it is now 3pm or a bit later but not yet 4pm"},
        seeAlso={"jason.stdlib.date","jason.functions.time"})
public class time
extends DefaultInternalAction

Internal action: .time(HH,MM,SS,MS).

Description: gets the current time (hour, minute, seconds, and milliseconds).

Parameters:

  • +/- hours (number): the hours (0--23).
  • +/- minutes (number): the minutes (0--59).
  • +/- seconds (number): the seconds (0--59).
  • +/- milliseconds (number): the milliseconds (0--999).

Examples:

  • .time(H,M,S): unifies H with the current hour, M with the current minutes, and S with the current seconds.
  • .time(H,M,S,MS): unifies H with the current hour, M with the current minutes, S with the current seconds, and MS with the current milliseconds.
  • .time(15,_,_): succeeds if it is now 3pm or a bit later but not yet 4pm.
See Also:
date, nano_time, function time, Serialized Form
  • Field Details

  • Constructor Details

    • time

      public time()
  • Method Details