Package jason.stdlib

Class upper_case

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

@Manual(literal=".upper_case(argument,result)",
        hint="converts given string into upper case",
        argsHint={"the term representation as a string will be used","the resulting string"},
        argsType={"term","string"},
        examples=".lower_case(\"CArtAgO\",X): unifies X with \"CARTAGO\"",
        seeAlso={"jason.stdlib.concat","jason.stdlib.delete","jason.stdlib.length","jason.stdlib.reverse"})
public class upper_case
extends DefaultInternalAction

Internal action: .upper_case(S1,S2).

Description: converts the string S1 into upper case S2.

Parameters:

  • + S1 (a term). The term representation as a string will be used.
  • -/+ S2 (a string).

Examples:

  • .upper_case("CArtAgO",X): unifies X with "CARTAGO".
See Also:
concat, delete, length, reverse, Serialized Form
  • Field Details

  • Constructor Details

    • upper_case

      public upper_case()
  • Method Details