Package jason.stdlib
Class list
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.list
- All Implemented Interfaces:
InternalAction,Serializable
@Manual(literal=".list(argument)",
hint="checks whether the argument is a list",
argsHint="the term to be checked",
argsType="term",
examples={".list([a,b,c]): true",".list([a,b,c(X)]): true",".list(b(10)): false",".list(10): false",".list(\"home page\"): false",".list(X): false if X is free, true if X is bound to a list",".list(a(X)): false"},
seeAlso={"jason.stdlib.atom","jason.stdlib.literal","jason.stdlib.number","jason.stdlib.string","jason.stdlib.structure","jason.stdlib.ground"})
public class list
extends DefaultInternalAction
Internal action: .list.
Description: checks whether the argument is a list, e.g.: "[a,b]", "[]".
Parameter:
- + argument (any term): the term to be checked.
Examples:
-
.list([a,b,c]): true. -
.list([a,b,c(X)]): true. -
.list(b(10)): false. -
.list(10): false. -
.list("home page"): false. -
.list(X): false if X is free, true if X is bound to a list. -
.list(a(X)): false.
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic InternalActioncreate()execute(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.intintMethods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention
-
Constructor Details
-
list
public list()
-
-
Method Details
-
create
-
getMinArgs
public int getMinArgs()- Overrides:
getMinArgsin classDefaultInternalAction
-
getMaxArgs
public int getMaxArgs()- Overrides:
getMaxArgsin classDefaultInternalAction
-
execute
Description copied from interface:InternalActionExecutes the internal action. It should return a Boolean or an Iterator. A true boolean return means that the IA was successfully executed. An Iterator result means that there is more than one answer for this IA (e.g. see member internal action). - Specified by:
executein interfaceInternalAction- Overrides:
executein classDefaultInternalAction- Throws:
Exception
-