Package jason.stdlib

Class printf

All Implemented Interfaces:
InternalAction, java.io.Serializable

@Manual(literal=".printf(format,arg0[,arg1,...])",
        hint="used for printing messages to the console inspired by Java printf/format",
        argsHint={"the format of the output (not use \"%d\", Jason numbers are Java Double)","the terms to be printed out","the term to be concatenated with prior one and printed out [optional]"},
        argsType={"string","term","term"},
        examples={".printf(\"Value %08.0f%n\",N): prints Value 00461012, when N is 461012",".printf(\"Value \"%10.3f\"\",N): prints Value 3.142, when N is 3.14159"},
        seeAlso={"jason.stdlib.print","jason.stdlib.println"})
public class printf
extends println

Internal action: .printf(format, args...).

Description: used for printing messages to the console inspired by Java printf/format. NB.: do not use "%d" since all numbers used by this internal action are translated from Jason to a Java double.

Examples:

  • .printf("Value %08.0f%n",N): prints Value 00461012, when N is 461012.
  • .printf("Value %10.3f",N): prints Value 3.142, when N is 3.14159.
See Also:
print, Serialized Form
  • Field Details

  • Constructor Details

    • printf

      public printf()
  • Method Details