Uses of Class
org.tweetyproject.preferences.io.ParseException
Packages that use ParseException
-
Uses of ParseException in org.tweetyproject.preferences.io
Methods in org.tweetyproject.preferences.io that return ParseExceptionModifier and TypeMethodDescriptionPOParser.generateParseException()Generates aParseExceptionthat describes the parsing error that occurred.UPParser.generateParseException()Generate ParseException.Methods in org.tweetyproject.preferences.io that throw ParseExceptionModifier and TypeMethodDescriptionUPParser.getUpdate()Return updatestatic voidExamplestatic PreferenceOrder<String> static PreferenceOrder<String> Parses aPreferenceOrderof typeStringfrom a given file path.Parses the specified update file to extract a list of updates.final PreferenceOrder<String> POParser.StringPreferenceOrder()Get a StringPreferenceOrder