Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/cuplv/thresher
/ functions
Functions
5,520 in github.com/cuplv/thresher
⨍
Functions
5,520
◇
Types & classes
949
↓ 30 callers
Method
edit
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Storage.java:301
↓ 29 callers
Method
close
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1283
↓ 29 callers
Method
commit
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Editor.java:59
↓ 29 callers
Method
getCallGraph
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1515
↓ 29 callers
Method
getObject
()
apps/tests/synthesis/MixedObjAndInt/SimpleInterface.java:8
↓ 28 callers
Method
closeFolder
(Folder f)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:1099
↓ 28 callers
Method
getBody
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:14
↓ 28 callers
Method
getBoolean
(String key, boolean defValue)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:81
↓ 28 callers
Method
parse
Parse a comma separated list of addresses in RFC-822 format and return an array of Address objects. @param addressList @return An array of 0 or more
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Address.java:133
↓ 28 callers
Method
setCurrentLineNum
(int currentLineNum)
src/edu/colorado/thresher/core/IPathInfo.java:576
↓ 27 callers
Method
getColor
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/model/Cell.java:82
↓ 27 callers
Method
getColumnIndex
Gets cell's column index within {@link CellCollection}. @return Cell's column index within CellColection.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:86
↓ 27 callers
Method
getFields
()
src/edu/colorado/thresher/core/IQuery.java:172
↓ 27 callers
Method
getHeapGraph
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1746
↓ 27 callers
Method
getInstance
(final Application application)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:495
↓ 27 callers
Method
getNumber
(int index)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:346
↓ 27 callers
Method
isConstant
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:236
↓ 26 callers
Method
getEntry
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/SpinnerHelper.java:64
↓ 26 callers
Method
getHost
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/imap/ImapSettings.java:11
↓ 26 callers
Method
getItemId
(int position)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:726
↓ 26 callers
Method
moveToFirst
()
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:646
↓ 25 callers
Method
entrySet
()
apps/tests/regression/DeveloperBlogLeakNoRefute/src/com/example/helloandroid/FakeMap.java:48
↓ 25 callers
Method
getClassHierarchy
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1776
↓ 25 callers
Method
getSubject
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:84
↓ 25 callers
Method
peek
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/filter/PeekableInputStream.java:31
↓ 24 callers
Method
decode
(String s)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:897
↓ 24 callers
Method
getPath
The path this instance is able to respond to. @return Never <code>null</code>.
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:101
↓ 24 callers
Method
open
Forces an open of the MailProvider. If the provider is already open this function returns without doing anything. @param mode READ_ONLY or READ_WRITE
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:40
↓ 23 callers
Method
getContext
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/PushReceiver.java:10
↓ 23 callers
Method
getPort
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/imap/ImapSettings.java:13
↓ 23 callers
Method
getRemoteStore
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1051
↓ 23 callers
Method
getToShow
()
src/edu/colorado/thresher/core/DependencyRule.java:215
↓ 23 callers
Method
write
(int oneByte)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/filter/SmtpDataStuffing.java:18
↓ 22 callers
Method
combine
Combines the given array of Objects into a single String using each Object's toString() method and the separator character between each part. @param
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Utility.java:68
↓ 22 callers
Method
getBlock
()
src/edu/colorado/thresher/core/IStackFrame.java:31
↓ 22 callers
Method
getEmail
()
apps/pldi13/K9Mail/src/com/fsck/k9/BaseAccount.java:4
↓ 22 callers
Method
getKey
()
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4384
↓ 22 callers
Method
getNotificationSetting
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1459
↓ 22 callers
Method
getOutboxFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:919
↓ 22 callers
Method
getVars
()
src/edu/colorado/thresher/core/PathTerm.java:19
↓ 22 callers
Method
isStatic
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1812
↓ 22 callers
Method
moveToNext
()
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:658
↓ 22 callers
Method
start
(List<String> folderNames)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Pusher.java:7
↓ 21 callers
Method
equal
(T a, T b)
src/edu/colorado/thresher/core/Util.java:1694
↓ 21 callers
Method
foundWitness
@return true if the query has been sucessfully witnessed, false otherwise
src/edu/colorado/thresher/core/IQuery.java:30
↓ 21 callers
Method
getCount
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Multipart.java:35
↓ 21 callers
Method
getHeader
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:22
↓ 21 callers
Method
getTrashFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:895
↓ 21 callers
Method
isFeasible
@return - true if the query has been refuted, false otherwise
src/edu/colorado/thresher/core/IQuery.java:57
↓ 21 callers
Method
isFeasible
()
src/edu/colorado/thresher/core/PathQuery.java:1169
↓ 21 callers
Method
isIntegerConstant
()
src/edu/colorado/thresher/core/SimplePathTerm.java:391
↓ 20 callers
Method
compareTo
(Object other)
src/edu/colorado/thresher/core/PathTerm.java:50
↓ 20 callers
Method
getAccountNumber
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:931
↓ 20 callers
Method
getFrom
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:111
↓ 20 callers
Method
getVersion
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:39
↓ 20 callers
Method
isDummy
()
src/edu/colorado/thresher/core/IPathInfo.java:625
↓ 20 callers
Method
setHeader
(String name, String value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:12
↓ 19 callers
Method
getFolder
(String folder, Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2028
↓ 19 callers
Method
getHeaderParameter
Returns the named parameter of a header field. If name is null the first parameter is returned, or if there are no additional parameters in the field
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:933
↓ 19 callers
Method
getInstance
(Context context)
apps/pldi13/DroidLife/src/org/jtb/droidlife/SeederManager.java:26
↓ 19 callers
Method
getLogId
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:1824
↓ 19 callers
Method
setCurrentBlock
set currentBlock and store old currentBlock as lastBlock
src/edu/colorado/thresher/core/IPathInfo.java:562
↓ 19 callers
Method
setupListPreference
Set up the {@link ListPreference} instance identified by {@code key}. @param key The key of the {@link ListPreference} object. @param value
apps/pldi13/K9Mail/src/com/fsck/k9/activity/K9PreferenceActivity.java:31
↓ 18 callers
Method
getAddress
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Address.java:83
↓ 18 callers
Method
getItem
(long position)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:717
↓ 18 callers
Method
getPathId
()
src/edu/colorado/thresher/core/IPathInfo.java:580
↓ 18 callers
Method
getSymbolTable
()
src/edu/colorado/thresher/core/IBranchPoint.java:134
↓ 18 callers
Method
processException
Returns a string of the stacktrace for a Throwable to allow for easy inline printing of errors.
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:1070
↓ 18 callers
Method
putBackground
(String description, MessagingListener listener, Runnable runnable)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:313
↓ 18 callers
Method
setHeader
(String name, String value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:368
↓ 17 callers
Method
close
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuDatabase.java:466
↓ 17 callers
Method
executeSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:893
↓ 17 callers
Method
findFirstPartByMimeType
(Part part, String mimeType)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:955
↓ 17 callers
Method
finish
Finishes game-play. Called when puzzle is solved.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/SudokuGame.java:271
↓ 17 callers
Method
getFakeWorldClinitNode
find and return fakeWorldClinitNode. this seems unnecessarily hard to do. @param cg @return
src/edu/colorado/thresher/core/WALACFGUtil.java:607
↓ 17 callers
Method
getFirstField
()
src/edu/colorado/thresher/core/SimplePathTerm.java:387
↓ 17 callers
Method
informUserOfStatus
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ActivityListener.java:76
↓ 17 callers
Method
removeAll
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Storage.java:253
↓ 17 callers
Method
visit
modify query to simulate execution of non-call instr @return null if query is infeasible after executing instr, empty list if query is feasib
src/edu/colorado/thresher/core/IQuery.java:86
↓ 16 callers
Method
Assert
(boolean bool)
src/edu/colorado/thresher/external/Assertions.java:6
↓ 16 callers
Method
cancel
()
apps/pldi13/K9Mail/src/com/fsck/k9/service/MailService.java:193
↓ 16 callers
Method
declareFakeWitness
give up execution and declare witness, if permitted by this query
src/edu/colorado/thresher/core/IQuery.java:130
↓ 16 callers
Method
executeSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:597
↓ 16 callers
Method
expect
(char ch)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:314
↓ 16 callers
Method
getData
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuInvalidFormatException.java:34
↓ 16 callers
Method
getDraftsFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:875
↓ 16 callers
Method
getFolder
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:626
↓ 16 callers
Method
getMessage
(Message message)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2004
↓ 16 callers
Method
getName
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1227
↓ 16 callers
Method
getSpamFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:911
↓ 16 callers
Method
isAvailable
Check whether APG is installed and at a high enough version. @param context @return whether a suitable version of APG was found
apps/pldi13/K9Mail/src/com/fsck/k9/crypto/Apg.java:99
↓ 16 callers
Method
isMoveCapable
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Store.java:99
↓ 16 callers
Method
putLong
(String key, long value)
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Editor.java:119
↓ 16 callers
Method
toZ3AST
(Context ctx, boolean boolVar)
src/edu/colorado/thresher/core/PathTerm.java:17
↓ 15 callers
Method
addBodyPart
(BodyPart part)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Multipart.java:17
↓ 15 callers
Method
dropConstraintsContaining
(PointerVariable varName, IField fld)
src/edu/colorado/thresher/core/PathQuery.java:699
↓ 15 callers
Method
executeSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/SmtpTransport.java:483
↓ 15 callers
Method
getAccounts
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ChooseAccount.java:235
↓ 15 callers
Method
getErrorFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:887
↓ 15 callers
Method
getSentDate
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:96
← previous
next →
101–200 of 5,520, ranked by callers