MCPcopy Create free account

hub / github.com/cuplv/thresher / functions

Functions5,520 in github.com/cuplv/thresher

↓ 30 callersMethodedit
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Storage.java:301
↓ 29 callersMethodclose
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1283
↓ 29 callersMethodcommit
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Editor.java:59
↓ 29 callersMethodgetCallGraph
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1515
↓ 29 callersMethodgetObject
()
apps/tests/synthesis/MixedObjAndInt/SimpleInterface.java:8
↓ 28 callersMethodcloseFolder
(Folder f)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:1099
↓ 28 callersMethodgetBody
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:14
↓ 28 callersMethodgetBoolean
(String key, boolean defValue)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:81
↓ 28 callersMethodparse
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 callersMethodsetCurrentLineNum
(int currentLineNum)
src/edu/colorado/thresher/core/IPathInfo.java:576
↓ 27 callersMethodgetColor
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/model/Cell.java:82
↓ 27 callersMethodgetColumnIndex
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 callersMethodgetFields
()
src/edu/colorado/thresher/core/IQuery.java:172
↓ 27 callersMethodgetHeapGraph
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1746
↓ 27 callersMethodgetInstance
(final Application application)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:495
↓ 27 callersMethodgetNumber
(int index)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:346
↓ 27 callersMethodisConstant
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:236
↓ 26 callersMethodgetEntry
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/SpinnerHelper.java:64
↓ 26 callersMethodgetHost
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/imap/ImapSettings.java:11
↓ 26 callersMethodgetItemId
(int position)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:726
↓ 26 callersMethodmoveToFirst
()
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:646
↓ 25 callersMethodentrySet
()
apps/tests/regression/DeveloperBlogLeakNoRefute/src/com/example/helloandroid/FakeMap.java:48
↓ 25 callersMethodgetClassHierarchy
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1776
↓ 25 callersMethodgetSubject
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:84
↓ 25 callersMethodpeek
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/filter/PeekableInputStream.java:31
↓ 24 callersMethoddecode
(String s)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:897
↓ 24 callersMethodgetPath
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 callersMethodopen
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 callersMethodgetContext
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/PushReceiver.java:10
↓ 23 callersMethodgetPort
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/imap/ImapSettings.java:13
↓ 23 callersMethodgetRemoteStore
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1051
↓ 23 callersMethodgetToShow
()
src/edu/colorado/thresher/core/DependencyRule.java:215
↓ 23 callersMethodwrite
(int oneByte)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/filter/SmtpDataStuffing.java:18
↓ 22 callersMethodcombine
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 callersMethodgetBlock
()
src/edu/colorado/thresher/core/IStackFrame.java:31
↓ 22 callersMethodgetEmail
()
apps/pldi13/K9Mail/src/com/fsck/k9/BaseAccount.java:4
↓ 22 callersMethodgetKey
()
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4384
↓ 22 callersMethodgetNotificationSetting
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1459
↓ 22 callersMethodgetOutboxFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:919
↓ 22 callersMethodgetVars
()
src/edu/colorado/thresher/core/PathTerm.java:19
↓ 22 callersMethodisStatic
()
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1812
↓ 22 callersMethodmoveToNext
()
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:658
↓ 22 callersMethodstart
(List<String> folderNames)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Pusher.java:7
↓ 21 callersMethodequal
(T a, T b)
src/edu/colorado/thresher/core/Util.java:1694
↓ 21 callersMethodfoundWitness
@return true if the query has been sucessfully witnessed, false otherwise
src/edu/colorado/thresher/core/IQuery.java:30
↓ 21 callersMethodgetCount
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Multipart.java:35
↓ 21 callersMethodgetHeader
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:22
↓ 21 callersMethodgetTrashFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:895
↓ 21 callersMethodisFeasible
@return - true if the query has been refuted, false otherwise
src/edu/colorado/thresher/core/IQuery.java:57
↓ 21 callersMethodisFeasible
()
src/edu/colorado/thresher/core/PathQuery.java:1169
↓ 21 callersMethodisIntegerConstant
()
src/edu/colorado/thresher/core/SimplePathTerm.java:391
↓ 20 callersMethodcompareTo
(Object other)
src/edu/colorado/thresher/core/PathTerm.java:50
↓ 20 callersMethodgetAccountNumber
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:931
↓ 20 callersMethodgetFrom
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:111
↓ 20 callersMethodgetVersion
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:39
↓ 20 callersMethodisDummy
()
src/edu/colorado/thresher/core/IPathInfo.java:625
↓ 20 callersMethodsetHeader
(String name, String value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:12
↓ 19 callersMethodgetFolder
(String folder, Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2028
↓ 19 callersMethodgetHeaderParameter
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 callersMethodgetInstance
(Context context)
apps/pldi13/DroidLife/src/org/jtb/droidlife/SeederManager.java:26
↓ 19 callersMethodgetLogId
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:1824
↓ 19 callersMethodsetCurrentBlock
set currentBlock and store old currentBlock as lastBlock
src/edu/colorado/thresher/core/IPathInfo.java:562
↓ 19 callersMethodsetupListPreference
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 callersMethodgetAddress
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Address.java:83
↓ 18 callersMethodgetItem
(long position)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:717
↓ 18 callersMethodgetPathId
()
src/edu/colorado/thresher/core/IPathInfo.java:580
↓ 18 callersMethodgetSymbolTable
()
src/edu/colorado/thresher/core/IBranchPoint.java:134
↓ 18 callersMethodprocessException
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 callersMethodputBackground
(String description, MessagingListener listener, Runnable runnable)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:313
↓ 18 callersMethodsetHeader
(String name, String value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:368
↓ 17 callersMethodclose
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuDatabase.java:466
↓ 17 callersMethodexecuteSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:893
↓ 17 callersMethodfindFirstPartByMimeType
(Part part, String mimeType)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:955
↓ 17 callersMethodfinish
Finishes game-play. Called when puzzle is solved.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/SudokuGame.java:271
↓ 17 callersMethodgetFakeWorldClinitNode
find and return fakeWorldClinitNode. this seems unnecessarily hard to do. @param cg @return
src/edu/colorado/thresher/core/WALACFGUtil.java:607
↓ 17 callersMethodgetFirstField
()
src/edu/colorado/thresher/core/SimplePathTerm.java:387
↓ 17 callersMethodinformUserOfStatus
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ActivityListener.java:76
↓ 17 callersMethodremoveAll
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Storage.java:253
↓ 17 callersMethodvisit
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 callersMethodAssert
(boolean bool)
src/edu/colorado/thresher/external/Assertions.java:6
↓ 16 callersMethodcancel
()
apps/pldi13/K9Mail/src/com/fsck/k9/service/MailService.java:193
↓ 16 callersMethoddeclareFakeWitness
give up execution and declare witness, if permitted by this query
src/edu/colorado/thresher/core/IQuery.java:130
↓ 16 callersMethodexecuteSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:597
↓ 16 callersMethodexpect
(char ch)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:314
↓ 16 callersMethodgetData
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuInvalidFormatException.java:34
↓ 16 callersMethodgetDraftsFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:875
↓ 16 callersMethodgetFolder
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:626
↓ 16 callersMethodgetMessage
(Message message)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2004
↓ 16 callersMethodgetName
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1227
↓ 16 callersMethodgetSpamFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:911
↓ 16 callersMethodisAvailable
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 callersMethodisMoveCapable
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Store.java:99
↓ 16 callersMethodputLong
(String key, long value)
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Editor.java:119
↓ 16 callersMethodtoZ3AST
(Context ctx, boolean boolVar)
src/edu/colorado/thresher/core/PathTerm.java:17
↓ 15 callersMethodaddBodyPart
(BodyPart part)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Multipart.java:17
↓ 15 callersMethoddropConstraintsContaining
(PointerVariable varName, IField fld)
src/edu/colorado/thresher/core/PathQuery.java:699
↓ 15 callersMethodexecuteSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/SmtpTransport.java:483
↓ 15 callersMethodgetAccounts
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ChooseAccount.java:235
↓ 15 callersMethodgetErrorFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:887
↓ 15 callersMethodgetSentDate
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:96
← previousnext →101–200 of 5,520, ranked by callers