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
↓ 10 callers
Method
setNote
Sets note attached to the cell @param note Note attached to the cell
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:180
↓ 10 callers
Method
setUnreadMessageCount
(final int unreadMessageCount)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1331
↓ 10 callers
Method
synchronizeMailboxProgress
(Account account, String folderName, int completed, int total)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4542
↓ 10 callers
Method
writeTo
(OutputStream out)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:32
↓ 9 callers
Method
addConstraint
(PointsToEdge constraint)
src/edu/colorado/thresher/core/PointsToQuery.java:2390
↓ 9 callers
Method
addConstraint
adding constraints should always be done through this method @param constraint - constraint to add @return - true if constraint was successf
src/edu/colorado/thresher/core/PathQuery.java:941
↓ 9 callers
Method
attribute
(XmlSerializer serializer, String attributeName, Cursor cursor, String columnName)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/exporting/FileExportTask.java:171
↓ 9 callers
Method
close
()
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:452
↓ 9 callers
Method
create
(String name, Context context)
apps/pldi13/StandupTimer/src/net/johnpwood/android/standuptimer/model/Team.java:49
↓ 9 callers
Method
dataChanged
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:146
↓ 9 callers
Method
encodeString
Encode a string to be able to use it in an IMAP command. "A quoted string is a sequence of zero or more 7-bit characters, excluding CR and LF, with
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:495
↓ 9 callers
Method
fetch
(Message[] messages, FetchProfile fp, MessageRetrievalListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:128
↓ 9 callers
Method
getAddresses
(MultiAutoCompleteTextView view)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:898
↓ 9 callers
Method
getCells
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/SudokuBoardView.java:237
↓ 9 callers
Method
getDisplayClass
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:189
↓ 9 callers
Method
getFolder
(String folder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:1008
↓ 9 callers
Method
getHttpClient
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:899
↓ 9 callers
Method
getItem
(long position)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2071
↓ 9 callers
Method
getPointedTo
(PointerVariable var)
src/edu/colorado/thresher/core/IQuery.java:207
↓ 9 callers
Method
getRootCauseMessage
(Throwable t)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:1817
↓ 9 callers
Method
getSeeder
(int pos)
apps/pldi13/DroidLife/src/org/jtb/droidlife/SeederManager.java:61
↓ 9 callers
Method
getState
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/SudokuGame.java:119
↓ 9 callers
Method
getString
(String key, String def)
apps/pldi13/DroidLife/src/org/jtb/droidlife/Prefs.java:15
↓ 9 callers
Method
getTime
Get the accumulated time of this Timer. @return How long this timer has been running, in ms.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/Timer.java:132
↓ 9 callers
Method
getValue
()
apps/tests/synthesis/FakeMap/FakeMap.java:48
↓ 9 callers
Method
getXmlAttribute
Attempts to get the given attribute as a String resource first, and if it fails returns the attribute as a simple String value. @param xml @param name
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/AccountSetupBasics.java:332
↓ 9 callers
Method
isAnIdentity
(Address[] addrs)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1204
↓ 9 callers
Method
isFeasible
()
src/edu/colorado/thresher/core/CombinedPathAndPointsToQuery.java:194
↓ 9 callers
Method
isLiving
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/RLERun.java:25
↓ 9 callers
Method
read
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:1016
↓ 9 callers
Method
sendPendingMessages
(MessagingListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:2838
↓ 9 callers
Method
setFlaggedMessageCount
(final int flaggedMessageCount)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1336
↓ 9 callers
Method
showOrHideQuotedText
(QuotedTextMode mode)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1723
↓ 9 callers
Method
substituteExpForFieldRead
(SimplePathTerm toSub, PointerVariable subFor, FieldReference fieldName)
src/edu/colorado/thresher/core/PathTerm.java:25
↓ 9 callers
Method
toggleBatchButtons
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2402
↓ 8 callers
Method
LA
(int j)
apps/tests/regression/DoLoopLabeledBreakRefute/FakeMap.java:23
↓ 8 callers
Method
addHeader
(String name, String value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:8
↓ 8 callers
Method
base64Encode
(String s)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Utility.java:91
↓ 8 callers
Method
deepCopyStackList
(LinkedList<T> stackList)
src/edu/colorado/thresher/core/Util.java:1300
↓ 8 callers
Method
delete
(Message[] msgs, String trashFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:111
↓ 8 callers
Method
end
()
src/edu/colorado/thresher/core/BasicSymbolicExecutor.java:178
↓ 8 callers
Method
executeOverride
(HttpUriRequest request, HttpContext context)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:2363
↓ 8 callers
Method
getAccounts
Returns an array of the accounts on the system. If no accounts are registered the method returns an empty array. @return all accounts
apps/pldi13/K9Mail/src/com/fsck/k9/Preferences.java:89
↓ 8 callers
Method
getCGNode
()
src/edu/colorado/thresher/core/IStackFrame.java:27
↓ 8 callers
Method
getCells
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/command/AbstractCellCommand.java:15
↓ 8 callers
Method
getName
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:142
↓ 8 callers
Method
getOutputStream
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/BinaryTempFileBody.java:32
↓ 8 callers
Method
getPreferences
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:135
↓ 8 callers
Method
getProducersForEdge
(PointsToEdge edge, AbstractDependencyRuleGenerator depRuleGenerator)
src/edu/colorado/thresher/core/Util.java:331
↓ 8 callers
Method
getStats
@param context @return <code>null</code> if not available @throws MessagingException @see {@link #isAvailable(Context)}
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:649
↓ 8 callers
Method
getStorageManager
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:163
↓ 8 callers
Method
getUnreadMessageCount
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:78
↓ 8 callers
Method
getValue
Gets cell's value. Value can be 1-9 or 0 if cell is empty. @return Cell's value. Value can be 1-9 or 0 if cell is empty.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:161
↓ 8 callers
Method
handleFakeWorldClinit
symbolic execution in fakeWorldClinit (WALA's model of the Java class initializers) requires special handling. we do not attempt to model the order th
src/edu/colorado/thresher/core/BasicSymbolicExecutor.java:187
↓ 8 callers
Method
initListPreference
Initialize a given {@link ListPreference} instance. @param prefView The {@link ListPreference} instance to initialize. @param value I
apps/pldi13/K9Mail/src/com/fsck/k9/activity/K9PreferenceActivity.java:52
↓ 8 callers
Method
isDominatedBy
(SSACFG.BasicBlock dominated, SSACFG.BasicBlock master, IR ir)
src/edu/colorado/thresher/core/WALACFGUtil.java:124
↓ 8 callers
Method
isEditable
Returns whether cell can be edited. @return True if cell can be edited.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:189
↓ 8 callers
Method
manageBack
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:689
↓ 8 callers
Method
newInstance
(String commandClass)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/command/AbstractCommand.java:33
↓ 8 callers
Method
newWakeLock
(int flags, String tag)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/power/TracingPowerManager.java:38
↓ 8 callers
Method
progress
(final boolean progress)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/Accounts.java:145
↓ 8 callers
Method
queuePendingCommand
(Account account, PendingCommand command)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:1833
↓ 8 callers
Method
removeConstraint
removing constraints should always be done through this method @param constraint - constraint to remove @return - true if constraint was suc
src/edu/colorado/thresher/core/PathQuery.java:1031
↓ 8 callers
Method
removeListener
(final StorageListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:709
↓ 8 callers
Method
serialize
Appends string representation of this object to the given <code>StringBuilder</code>. You can later recreate object from this string by calling {@link
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:256
↓ 8 callers
Method
setDisplayMode
(FolderMode newMode)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:428
↓ 8 callers
Method
setSubstituted
(boolean substituted)
src/edu/colorado/thresher/core/SimplePathTerm.java:346
↓ 8 callers
Method
setSubstituted
(boolean substituted)
src/edu/colorado/thresher/core/AtomicPathConstraint.java:253
↓ 8 callers
Method
spawn
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/model/Cell.java:63
↓ 8 callers
Method
substitute
(PathTerm toSub, SimplePathTerm subFor)
src/edu/colorado/thresher/core/PathTerm.java:29
↓ 8 callers
Method
symbContains
(PathTerm other)
src/edu/colorado/thresher/core/PathTerm.java:43
↓ 8 callers
Method
toEncodedString
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Address.java:192
↓ 8 callers
Method
toString
()
src/edu/colorado/thresher/core/SimplePathTerm.java:354
↓ 8 callers
Method
unfoldAndDecode
(String s)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:909
↓ 7 callers
Method
actionReset
(Context context, Integer wakeLockId)
apps/pldi13/K9Mail/src/com/fsck/k9/service/MailService.java:39
↓ 7 callers
Method
addAddress
(MultiAutoCompleteTextView view, Address address)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:894
↓ 7 callers
Method
addConstraintFromBranchPoint
add a path constraint to the query based on conditional contained in point @param point - branch point whose conditional will be used in the
src/edu/colorado/thresher/core/IQuery.java:43
↓ 7 callers
Method
addContextualConstraints
if we have context-sensitive CGNode's, make that contextual constraints (such as receiver constraints explicit) in the query
src/edu/colorado/thresher/core/IPathInfo.java:493
↓ 7 callers
Method
appendMessages
The method differs slightly from the contract; If an incoming message already has a uid assigned and it matches the uid of an existing message then th
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:2022
↓ 7 callers
Method
changeSort
(SORT_TYPE newSortType)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:1118
↓ 7 callers
Method
delete
(Preferences preferences)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:394
↓ 7 callers
Method
draw
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/DesignView.java:138
↓ 7 callers
Method
equals
(Object other)
src/edu/colorado/thresher/core/SimplePathTerm.java:278
↓ 7 callers
Method
executeBackward
perform symbolic execution until query is refuted or witnessed @param startNode - CGNode from which to begin @param query - fact th
src/edu/colorado/thresher/core/ISymbolicExecutor.java:28
↓ 7 callers
Method
expunge
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:125
↓ 7 callers
Method
findInstrIndexInBlock
@return index into blk corresponding to instr
src/edu/colorado/thresher/core/WALACFGUtil.java:642
↓ 7 callers
Method
folderStatusChanged
(Account account, String folderName, int unreadMessageCount)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:139
↓ 7 callers
Method
getBodyPart
(int index)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Multipart.java:27
↓ 7 callers
Method
getCallStack
()
src/edu/colorado/thresher/core/IPathInfo.java:745
↓ 7 callers
Method
getConnectionSecurity
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/transport/imap/ImapSettings.java:15
↓ 7 callers
Method
getContentType
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:16
↓ 7 callers
Method
getCount
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:730
↓ 7 callers
Method
getDecryptedData
()
apps/pldi13/K9Mail/src/com/fsck/k9/crypto/PgpData.java:47
↓ 7 callers
Method
getFolderName
(String folderUrl)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:331
↓ 7 callers
Method
getIdentity
(int i)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1197
↓ 7 callers
Method
getInstance
Get SDK specific instance of the Contacts class. @param context A {@link Context} instance. @return Appropriate {@link Contacts} instance for this de
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Contacts.java:37
↓ 7 callers
Method
getList
(int index)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:330
↓ 7 callers
Method
getLocalStorageProviderId
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:762
↓ 7 callers
Method
getLoopBodyBlocks
(int loopHead, IR ir)
src/edu/colorado/thresher/core/WALACFGUtil.java:330
↓ 7 callers
Method
getMeetingStats
()
apps/pldi13/StandupTimer/src/net/johnpwood/android/standuptimer/model/Meeting.java:132
← previous
next →
301–400 of 5,520, ranked by callers