congrats Icon
New! Tabnine Pro 14-day free trial
Start a free trial
Tabnine Logo
UserSpecAction.getName
Code IndexAdd Tabnine to your IDE (free)

How to use
getName
method
in
languageTools.program.actionspec.UserSpecAction

Best Java code snippets using languageTools.program.actionspec.UserSpecAction.getName (Showing top 3 results out of 315)

origin: org.bitbucket.goalhub.grammar/languageTools

/**
 * Creates a new {@link UserSpecCallAction}, which will focus the agent's
 * attention to a certain module when executed.
 *
 * @param spec
 *            the user spec action that should be called.
 * @param parameters
 *            the parameters, exactly as used at the caller's side. These
 *            still have to be substituted at runtime against the actual
 *            variable values at that time and then renamed into the space
 *            of the {@link #actionSpec}.
 */
public UserSpecCallAction(UserSpecAction spec, List<Term> parameters, SourceInfo info) {
  super(spec.getName(), info);
  for (Term term : parameters) {
    addParameter(term);
  }
  this.actionSpec = spec;
}
origin: org.bitbucket.goalhub.mentalstate.msStates/swiprologmentalstate

@Override
public Action convert(UserSpecAction action) throws MSTTranslationException {
  LinkedList<Parameter> parameters = new LinkedList<>();
  for (Term term : action.getParameters()) {
    parameters.add(convert(term));
  }
  return new Action(action.getName(), parameters);
}
origin: org.bitbucket.goalhub.grammar/languageTools

@Override
public UserSpecAction applySubst(Substitution substitution) {
  // Apply substitution to action parameters, pre- and post-condition.
  List<Term> parameters = new ArrayList<>(getParameters().size());
  for (Term parameter : getParameters()) {
    parameters.add(parameter.applySubst(substitution));
  }
  ActionPreCondition precondition = (getFullPreCondition() == null) ? null
      : getFullPreCondition().applySubst(substitution);
  ActionPostCondition positivePostcondition = (getPositivePostcondition() == null) ? null
      : getPositivePostcondition().applySubst(substitution);
  ActionPostCondition negativePostcondition = (getNegativePostcondition() == null) ? null
      : getNegativePostcondition().applySubst(substitution);
  return new UserSpecAction(getName(), parameters, isExternal(), precondition, positivePostcondition,
      negativePostcondition, getSourceInfo());
}
languageTools.program.actionspecUserSpecActiongetName

Popular methods of UserSpecAction

  • getParameters
  • <init>
    Creates a UserSpecAction with name, parameter list, and sets flag whether action should be sent to e
  • addParameter
  • applySubst
  • getFullPreCondition
  • getNegativePostcondition
  • getPositivePostcondition
  • getPrecondition
  • getSignature
  • getSourceInfo
  • isExternal
  • isExternal

Popular in Java

  • Making http requests using okhttp
  • addToBackStack (FragmentTransaction)
  • requestLocationUpdates (LocationManager)
  • findViewById (Activity)
  • Font (java.awt)
    The Font class represents fonts, which are used to render text in a visible way. A font provides the
  • FileWriter (java.io)
    A specialized Writer that writes to a file in the file system. All write requests made by calling me
  • HashMap (java.util)
    HashMap is an implementation of Map. All optional operations are supported.All elements are permitte
  • Iterator (java.util)
    An iterator over a sequence of objects, such as a collection.If a collection has been changed since
  • DataSource (javax.sql)
    An interface for the creation of Connection objects which represent a connection to a database. This
  • Project (org.apache.tools.ant)
    Central representation of an Ant project. This class defines an Ant project with all of its targets,
  • Top 15 Vim Plugins
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyStudentsTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now