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
↓ 6 callers
Method
setSpinnerOptionValue
(Spinner spinner, Object value)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/SpinnerOption.java:14
↓ 6 callers
Method
setStatus
(final String status)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1389
↓ 6 callers
Method
setStoreUri
(String storeUri)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:693
↓ 6 callers
Method
setSubType
(String subType)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMultipart.java:61
↓ 6 callers
Method
substituteExpForFieldRead
replace the field read expression subFor.fieldName with the expression toSub (i.e., sub 1 for x.f)
src/edu/colorado/thresher/core/PathQuery.java:908
↓ 6 callers
Method
synchronizeMailboxFailed
(Account account, String folder, String message)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4422
↓ 6 callers
Method
textToHtmlFragment
Convert a plain text string into an HTML fragment. @param text Plain text. @return HTML fragment.
apps/pldi13/K9Mail/src/com/fsck/k9/helper/HtmlConverter.java:1137
↓ 6 callers
Method
unlockWrite
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:241
↓ 5 callers
Method
actionCheckSettings
(Activity context, Account account, boolean checkIncoming, boolean
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/AccountSetupCheckSettings.java:70
↓ 5 callers
Method
addAttachment
(Uri uri)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1484
↓ 5 callers
Method
addPathAndBranchPlaceholders
()
src/edu/colorado/thresher/core/OptimizedPathSensitiveSymbolicExecutor.java:1050
↓ 5 callers
Method
addWakeLock
Adds a new WakeLock to the intent. This will add the WakeLock to the central WakeLock registry managed by this class. @param context Required to be ab
apps/pldi13/K9Mail/src/com/fsck/k9/service/CoreService.java:108
↓ 5 callers
Method
cleanupPathAndBranchPlaceholders
()
src/edu/colorado/thresher/core/OptimizedPathSensitiveSymbolicExecutor.java:1067
↓ 5 callers
Method
clearCaches
empty the loop header and dominators cache - should do before analyzing a new program
src/edu/colorado/thresher/core/WALACFGUtil.java:67
↓ 5 callers
Method
deleteMessages
(final Message[] messages, final MessagingListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:3327
↓ 5 callers
Method
deserialize
Creates instance from given string (string which has been created by {@link #serialize(StringBuilder)} or {@link #serialize()} method). earlier. @par
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/CellNote.java:55
↓ 5 callers
Method
drawable
()
apps/pldi13/K9Mail/src/com/fsck/k9/view/ColorChip.java:32
↓ 5 callers
Method
encode
(String text, Charset charset)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/EncoderUtil.java:147
↓ 5 callers
Method
ensureInputMethods
Ensures that all input method objects are created.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanel.java:211
↓ 5 callers
Method
enterCall
enter a callee. note that the CGNode of currentPath should be the callee, NOT the caller @param caller - the CGNode that the call was made f
src/edu/colorado/thresher/core/IQuery.java:105
↓ 5 callers
Method
exists
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:354
↓ 5 callers
Method
fetch
(final Message[] messages, final FetchProfile fp, final MessageRetrievalListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1577
↓ 5 callers
Method
findByName
(String teamName, Context context)
apps/pldi13/StandupTimer/src/net/johnpwood/android/standuptimer/model/Team.java:85
↓ 5 callers
Method
generateRulesForNode
(CGNode node)
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:364
↓ 5 callers
Method
getAccountName
()
apps/pldi13/K9Mail/src/com/fsck/k9/FontSizes.java:203
↓ 5 callers
Method
getAttachmentId
Returns the local attachment id of this body, or -1 if it is not stored. @return
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:3357
↓ 5 callers
Method
getAvailableAccounts
Returns an array of the accounts on the system. If no accounts are registered the method returns an empty array. @return all accounts with {@link Acco
apps/pldi13/K9Mail/src/com/fsck/k9/Preferences.java:102
↓ 5 callers
Method
getCheckedItems
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/CheckBoxListPreference.java:69
↓ 5 callers
Method
getConnection
Gets a connection if one is available for reuse, or creates a new one if not. @return
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:455
↓ 5 callers
Method
getCount
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/filter/CountingOutputStream.java:16
↓ 5 callers
Method
getDeletePolicy
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:848
↓ 5 callers
Method
getDescription
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:705
↓ 5 callers
Method
getDisposition
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:18
↓ 5 callers
Method
getEarliestPollDate
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1320
↓ 5 callers
Method
getExpungePolicy
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1029
↓ 5 callers
Method
getFlags
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:152
↓ 5 callers
Method
getFolder
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:372
↓ 5 callers
Method
getIdentities
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1189
↓ 5 callers
Method
getInstance
(Application application)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/AsyncUIProcessor.java:24
↓ 5 callers
Method
getInstance
(String host)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/TrustManagerFactory.java:60
↓ 5 callers
Method
getJVMLibFile
()
src/edu/colorado/thresher/core/Main.java:2504
↓ 5 callers
Method
getKeyedString
(Object key)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:383
↓ 5 callers
Method
getLedColor
()
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:68
↓ 5 callers
Method
getMeetingDAO
(Context context)
apps/pldi13/StandupTimer/src/net/johnpwood/android/standuptimer/dao/DAOFactory.java:34
↓ 5 callers
Method
getMethod
()
src/edu/colorado/thresher/core/ConcretePointerVariable.java:427
↓ 5 callers
Method
getName
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:711
↓ 5 callers
Method
getNotedNumbers
Returns numbers currently noted in cell. @return
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/CellNote.java:119
↓ 5 callers
Method
getOp
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:265
↓ 5 callers
Method
getPersonalNamespaces
(boolean forceListAll)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Store.java:92
↓ 5 callers
Method
getPersonalNamespaces
(boolean forceListAll)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:632
↓ 5 callers
Method
getPosition
(String name)
apps/pldi13/DroidLife/src/org/jtb/droidlife/SeederManager.java:51
↓ 5 callers
Method
getProvider
@param providerId Never <code>null</code>. @return <code>null</code> if not found.
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:571
↓ 5 callers
Method
getPushState
(String folderName)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/PushReceiver.java:15
↓ 5 callers
Method
getQuoteStyle
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1370
↓ 5 callers
Method
getSentDate
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:91
↓ 5 callers
Method
getStorageProviderId
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:159
↓ 5 callers
Method
getSubsFromEdge
@param other @param subMaps @param alreadySubbed @param hard - mappings produced here are hard constraints -- add them to alreadySub
src/edu/colorado/thresher/core/PointsToEdge.java:190
↓ 5 callers
Method
getSudoku
Returns sudoku game object. @param sudokuID Primary key of folder. @return
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuDatabase.java:304
↓ 5 callers
Method
getUuid
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:681
↓ 5 callers
Method
handleQueryCaseSplitReturn
(List<IQuery> caseSplits)
src/edu/colorado/thresher/core/IPathInfo.java:318
↓ 5 callers
Method
hasAttachments
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:3046
↓ 5 callers
Method
hasEncryptionKeys
()
apps/pldi13/K9Mail/src/com/fsck/k9/crypto/PgpData.java:35
↓ 5 callers
Method
heapSubstitute
(SimplePathTerm toSub, SimplePathTerm subFor)
src/edu/colorado/thresher/core/PathTerm.java:31
↓ 5 callers
Method
htmlToText
Convert an HTML string to a plain text string. @param html HTML string to convert. @return Plain text result.
apps/pldi13/K9Mail/src/com/fsck/k9/helper/HtmlConverter.java:42
↓ 5 callers
Method
isEnabled
(int item)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:734
↓ 5 callers
Method
isHeapVar
()
src/edu/colorado/thresher/core/PointerVariable.java:37
↓ 5 callers
Method
isRuleConsistent
(DependencyRule rule, List<PointsToEdge> unsatCore, CGNode currentNode)
src/edu/colorado/thresher/core/PointsToQuery.java:1579
↓ 5 callers
Method
isSeeded
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/GameView.java:116
↓ 5 callers
Method
isSignatureBeforeQuotedText
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1013
↓ 5 callers
Method
isSupported
Some implementations may not be able to return valid File handles because the device doesn't provide the denoted storage. You can check the provider c
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:86
↓ 5 callers
Method
isSyncDisabled
()
apps/pldi13/K9Mail/src/com/fsck/k9/service/MailService.java:285
↓ 5 callers
Method
listAccounts
(Context context)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/Accounts.java:253
↓ 5 callers
Method
loadHeaders
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:3301
↓ 5 callers
Method
makeReturnValuePointer
(CGNode callee, HeapModel hm)
src/edu/colorado/thresher/core/Util.java:1521
↓ 5 callers
Method
match
(int i)
apps/tests/regression/DoLoopLabeledBreakRefute/FakeMap.java:26
↓ 5 callers
Method
modeMismatch
(Account.FolderMode aMode, Folder.FolderClass fMode)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4097
↓ 5 callers
Method
moveCellSelection
Moves selected by vx cells right and vy cells down. vx and vy can be negative. Returns true, if new cell is selected. @param vx Horizontal offset, by
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/SudokuBoardView.java:661
↓ 5 callers
Method
onNext
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageView.java:874
↓ 5 callers
Method
onPrevious
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageView.java:889
↓ 5 callers
Method
pushError
(String errorMessage, Exception e)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/PushReceiver.java:16
↓ 5 callers
Method
put
(String description, MessagingListener listener, Runnable runnable)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:309
↓ 5 callers
Method
putBoolean
(String key, boolean value)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:97
↓ 5 callers
Method
readResponse
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:2201
↓ 5 callers
Method
refresh
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/Accounts.java:374
↓ 5 callers
Method
refreshFolder
(Account account, String folderName)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:879
↓ 5 callers
Method
release
()
apps/pldi13/K9Mail/src/com/fsck/k9/service/PollService.java:123
↓ 5 callers
Method
removeHeader
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:378
↓ 5 callers
Method
removeMessages
@param messages Never {@code null}.
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:343
↓ 5 callers
Method
resolveProvider
@param path Never <code>null</code>. @return The corresponding provider. <code>null</code> if no match.
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:696
↓ 5 callers
Method
scheduleIntent
(Context context, long atTime, Intent alarmedIntent)
apps/pldi13/K9Mail/src/com/fsck/k9/service/BootReceiver.java:102
↓ 5 callers
Method
seed
(Seeder seeder)
apps/pldi13/DroidLife/src/org/jtb/droidlife/Seedable.java:4
↓ 5 callers
Method
selectNonDummyPath
returns null if we can't get a non-dummy path. should never return loop merge indicator or dummy path @return
src/edu/colorado/thresher/core/OptimizedPathSensitiveSymbolicExecutor.java:326
↓ 5 callers
Method
sendCommand
(String command, boolean sensitive)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:2229
↓ 5 callers
Method
setBody
(Body body)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:344
↓ 5 callers
Method
setFlag
(final Flag flag, final boolean set)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:3163
↓ 5 callers
Method
setFlagInternal
(Flag flag, boolean set)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:2334
↓ 5 callers
Method
setHeaderInsertionPoint
(int headerInsertionPoint)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/InsertableHtmlContent.java:34
↓ 5 callers
Method
setHeaders
(final Message message, final Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageView.java:342
↓ 5 callers
Method
setLoadPictures
Enable/disable image loading of the WebView. But always hide the "Show pictures" button! @param enable true, if (network) images should be loaded.
apps/pldi13/K9Mail/src/com/fsck/k9/view/SingleMessageView.java:134
↓ 5 callers
Method
setParent
(Part parent)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Multipart.java:53
← previous
next →
501–600 of 5,520, ranked by callers